A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.

@inproceedings{DBLP:conf/edbt/BryDM88,
  author    = {Fran\c{c}ois Bry and
               Hendrik Decker and
               Rainer Manthey},
  editor    = {Joachim W. Schmidt and
               Stefano Ceri and
               Michele Missikoff},
  title     = {A Uniform Approach to Constraint Satisfaction and Constraint
               Satisfiability in Deductive Databases},
  booktitle = {Advances in Database Technology - EDBT'88, Proceedings of the
               International Conference on Extending Database Technology, Venice,
               Italy, March 14-18, 1988},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {303},
  year      = {1988},
  isbn      = {3-540-19074-0},
  pages     = {488-505},
  ee        = {db/conf/edbt/BryDM88.html},
  crossref  = {DBLP:conf/edbt/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[APT 87]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[BLAU 81]

...

[BOCC 86]

Jorge B. Bocca: On the Evaluation Strategy of EDUCE. SIGMOD Conference 1986: 368-378 BibTeX

[BRY 86]

François Bry, Rainer Manthey: Checking Consistency of Database Constraints: a Logical Basis. VLDB 1986: 13-20 BibTeX

[BRY 87]

...

[DECK 86]

Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395 BibTeX

[KOWA 87]

Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69 BibTeX

[KUHN 67]

...

[KUNG 84]

...

[LASS 87]

Catherine Lassez, Ken McAloon, Graeme S. Port: Stratification and Knowledge Based Management. ICLP 1987: 136-151 BibTeX

[LING 87]

Tok Wang Ling: Integrity Constraint Checking in Deductive Databases Using the Prolog Not-Predicate. Data Knowl. Eng. 2: 145-168(1987) BibTeX

[LLOY 86]

...

[MANT 87a]

...

[MANT 87b]

Rainer Manthey, François Bry: SATCHMO: A Theorem Prover Implemented in Prolog. CADE 1988: 415-434 BibTeX

[NICO 79]

Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) BibTeX

[SMUL 68]

...

[VIEI 87]

Laurent Vieille: A Database-Complete Proof Procedure Based on SLD-Resolution. ICLP 1987: 74-103 BibTeX

Referenced by

1. Naci Ishakbeyoglu, Z. Meral Özsoyoglu: Maintenance of Implication Integrity Constraints Under Updates to Constraints. VLDB J. 7(2): 67-78(1998)
2. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. IEEE Trans. Knowl. Data Eng. 10(4): 576-598(1998)
3. Véronique Benzaken, Xavier Schaefer: Static Management of Integrity in Object-Oriented Databases: Design and Implementation. EDBT 1998: 311-325
4. John Mylopoulos, Vinay K. Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou: Building Knowledge Base Management Systems. VLDB J. 5(4): 238-263(1996)
5. Stefano Ceri, Raghu Ramakrishnan: Rules in Database Systems. ACM Comput. Surv. 28(1): 109-111(1996)
6. Sin Yeung Lee, Tok Wang Ling: Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases. VLDB 1996: 495-505
7. Dimitris Plexousakis, John Mylopoulos: Accomodating Integrity Constraints During Database Design. EDBT 1996: 497-513
8. Hendrik Decker, Ernest Teniente, Toni Urpí: How to Tackle Schema Validation by View Updating. EDBT 1996: 535-549
9. Véronique Benzaken, Anne Doucet: Thémis: A Database Programming Language Handling Integrity Constraints. VLDB J. 4(3): 493-517(1995)
10. Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182
11. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. DBPL 1995: 4
12. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
13. Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM Trans. Database Syst. 19(3): 367-422(1994)
14. Arantza Illarramendi, José Miguel Blanco, Alfredo Goñi: Making the Knowledge Base System More Efficient: A Method to Detect Inconsistent Queries. IEEE Trans. Knowl. Data Eng. 6(4): 634-639(1994)
15. Matilde Celma, Carlos Garcia, Laura Mota-Herranz, Hendrik Decker: Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. ICDE 1994: 214-222
16. Andrea Neufeld, Guido Moerkotte, Peter C. Lockemann: Generating Consistent Test Data for a Variable Set of General Consistency Constraints. VLDB J. 2(2): 173-213(1993)
17. Dimitris Plexousakis: Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases. VLDB 1993: 146-157
18. Guozhu Dong, Jianwen Su: First-Order Incremental Evaluation of Datalog Queries. DBPL 1993: 295-308
19. Véronique Benzaken, Anne Doucet: Thémis: a database programming language with integrity constraints. DBPL 1993: 243-262
20. Tok Wang Ling, Sin Yeung Lee: Improving Integrity Checking for Exists-Constraints. DASFAA 1993: 343-350
21. Toni Urpí, Antoni Olivé: A Method for Change Computation in Deductive Databases. VLDB 1992: 225-237
22. Guozhu Dong, Rodney W. Topor: Incremental Evaluation of Datalog Queries. ICDT 1992: 282-296
23. Ramin Yasdi: Learning Classification Rules from Database in the Context of Knowledge Acquisition and Representation. IEEE Trans. Knowl. Data Eng. 3(3): 293-306(1991)
24. Antoni Olivé: Integrity Constraints Checking In Deductive Databases. VLDB 1991: 513-523
25. Lois M. L. Delcambre, Billy B. L. Lim, Susan Darling Urban: Object-Centered Constraints. ICDE 1991: 368-377
26. Hervé Gallaire, Jean-Marie Nicolas: Logic and Databases: An Assessment. ICDT 1990: 177-186
27. Hendrik Decker: Drawing Updates From Derivations. ICDT 1990: 437-451
28. Antoni Olivé: On the design and implementation of information systems from deductive conceptual models. VLDB 1989: 3-11
29. François Bry: Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. SIGMOD Conference 1989: 193-204
30. François Bry: Logical Rewritings for Improving the Evaluation of Quantified Queries. MFDBS 1989: 100-116