Improving integrity constraint checking in deductive databases

  • P. Asirelli
  • P. Inverardi
  • A. Mustaro
Logic And Deductive Databases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 326)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Apt et al. 87]
    Apt, K. R., Blair, H., and Walker, A., Towards a theory of Declarative Knowledge, in: J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufman, Los Altos, 1987.Google Scholar
  2. [Asirelli et al. 85]
    Asirelli, P., De Santis, M., Martelli, M., Integrity Constraints in Logic Data Bases, Journal of Logic Programming, 2 (3), 1985.Google Scholar
  3. [Decker 86]
    Decker, H., Integrity Enforcement on Deductive Databases, 1st International Conference on Expert Database Systems, Charleston, S.C., 1986, pp. 271–285.Google Scholar
  4. [Lloyd 84]
    Lloyd, J. W., Foundations of logic programming, Symbolic Computation Series, Springer, 1984.Google Scholar
  5. [Lloyd 87]
    Lloyd, J. W, Foundations of logic programming, Second Edition, Symbolic Computation Series, Springer, 1987.Google Scholar
  6. [Lloyd&Topor 85]
    Lloyd, J. W., and Topor, R. W, A Basis for Deductive Database Systems, J. Logic Programming, 2 (2): 93–109, 1985.Google Scholar
  7. [Lloyd&Topor 86]
    Lloyd, J. W., and Topor, R. W., A Basis for Deductive Database Systems II, J. Logic Programming 3 (1): 55–67, 1986.Google Scholar
  8. [Lloyd et al. 87]
    Lloyd, J. W., Sonenberg, E.,A., Topor, R. W., Integrity Constraint Checking in Stratified Databases, J. Logic Programming 4 (4): 331–343, 1987.Google Scholar
  9. [Nicolas 82]
    Nicolas, J. M., Logic for Improving Integrity Checking in relational Data Bases, Acta Informatica 18 (3): 227–253 (1982).Google Scholar
  10. [Sadri&Kowalsky 87]
    Sadri, F., Kowalsky, R. A., A Theorem-Proving Approach to Database Integrity, in: J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufman, Los Altos, 1987.Google Scholar

Copyright information

© Springer-Verlag 1983

Authors and Affiliations

  • P. Asirelli
    • 1
  • P. Inverardi
    • 1
  • A. Mustaro
    • 1
  1. 1.Istituto di Elaborazione della Informazione — CNRPisa

Personalised recommendations