A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases

  • François Bry
  • Hendrik Decker
  • Rainer Manthey
Data Types And Data Semantics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 303)


Integrity maintenance methods have been defined for preventing updates from violating integrity constraints. Depending on the update, the full check for constraint satisfaction is reduced to checking certain instances of some relevant constraints only. In the first part of the paper new ideas are proposed for enhancing the efficiency of such a method. The second part is devoted to checking constraint satisfiability, i.e., whether a database exists in which all constraints are simultaneously satisfied. A satisfiability checking method is presented that employs integrity maintenance techniques. Simple Prolog programs are given that serve both as specifications as well as a basis for an efficient implementation.


Constraint Satisfaction Constraint Violation Integrity Constraint Finite Model Deductive Database 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8. References

  1. [APT 87]
    Apt, K.R., Blair, H. and Walker, A. Towards a theory of declarative knowledge. In Minker, J. (editor), Proc. Workshop on Deductive Databases and Logic Programming. Aug., 1987.Google Scholar
  2. [BLAU 81]
    Blaustein, B.T. Enforcing database assertions: Techniques and applications. PhD thesis, Harvard Univ., 1981.Google Scholar
  3. [BOCC 86]
    Bocca, J. On the evaluation strategy of EDUCE. In Proc. ACM-SIGMOD Conf. on Management of Data. May, 1986.Google Scholar
  4. [BRY 86]
    Bry, F. and Manthey, R. Checking consistency of database constraints: A logical basis. In Proc. 12th VLDB Conf. Aug., 1986.Google Scholar
  5. [BRY 87]
    Bry, F. Maintaining integrity of deductive databases. Int. Rep. KB-45, ECRC, July, 1987.Google Scholar
  6. [DECK 86]
    Decker, H. Integrity enforcement on deductive databases. In Proc. 1st Int. Conf. on Expert Database Systems. Apr., 1986.Google Scholar
  7. [KOWA 87]
    Kowalski, R., Sadri, F. and Soper, P. Integrity checking in deductive databases. In Proc. 13th VLDB Conf. Sept., 1987.Google Scholar
  8. [KUHN 67]
    Kuhns, J.L. Answering questions by computers — A logical study. Rand Memo RM 5428 PR, Rand Corp., Santa Monica, Calif., 1967.Google Scholar
  9. [KUNG 84]
    Kung, C.H. A temporal framework for information systems specification and verification. PhD thesis, Univ. of Trondheim, Norway, 1984.Google Scholar
  10. [LASS 87]
    Lassez, C., McAloon, K. and Port, G. Stratification and Knowledge Base Management. In Proc. 4th Int. Conf. on Logic Programming. May, 1987.Google Scholar
  11. [LING 87]
    Ling, T. Integrity constraint checking in deductive databases using the Prolog not-predicate. Data & Knowledge Engineering 2, 1987.Google Scholar
  12. [LLOY 86]
    Lloyd, J.W. and Topor, R.W. Integrity constraint checking in stratified databases. Technical Report 86/5, Univ. of Melbourne, May, 1986.Google Scholar
  13. [MANT 87a]
    Manthey, R. and Bry, F. A hyperresolution-based proof procedure and its implementation in PROLOG. In Morik, K. (editor), Proc. GWAI-87 (German Workshop on Artificial Intelligence). Sept., 1987. Springer Verlag IFB 152.Google Scholar
  14. [MANT 87b]
    Manthey, R. and Bry, F. SATCHMO: a theorem prover implemented in Prolog. Technical Report KB-21, ECRC, Nov., 1987. (submitted to CADE 88).Google Scholar
  15. [NICO 79]
    Nicolas, J.-M. Logic for improving integrity checking in relational databases. Technical Report, ONERA-CERT, Toulouse, France, Feb., 1979. Also in Acta Informatica 18, 3, Dec. 1982.Google Scholar
  16. [SMUL 68]
    Smullyan, R.M. First-order logic. Springer Verlag, 1968.Google Scholar
  17. [VIEI 87]
    Vieille, L. A database-complete proof procedure based on SLD-resolution. In Proc. 4th Int. Conf. on Logic Programming. May, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • François Bry
    • 1
  • Hendrik Decker
    • 1
  • Rainer Manthey
    • 1
  1. 1.ECRCMünchen 81West Germany

Personalised recommendations