Logic Programming

Syntax and Logic Programming 322 Dale Miller (invited lecture) Deduction Search with Generalized Terms 338 Vladimir S.Neiman

[1]  Robert A. Di Paola.  The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas , 1969, JACM.

[2]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[3]  J. J. Florentin,et al.  Consistency Auditing of Databases , 1974, Comput. J..

[4]  Dennis McLeod,et al.  Semantic integrity in a relational data base system , 1975, VLDB '75.

[5]  Michael Stonebraker,et al.  Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.

[6]  Michael Hammer,et al.  Efficient monitoring of database assertions , 1978, SIGMOD '78.

[7]  Raymond Reiter.  On the Integrity of Typed First Order Data Bases , 1979, Advances in Data Base Theory.

[8]  Georges Gardarin,et al.  Proving Consistency Of Database Transactions , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[9]  Gerald A. Wilson.  A Conceptual Model for Semantic Integrity Checking , 1980, VLDB.

[10]  Edmund M. Clarke,et al.  Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data , 1980, VLDB.

[11]  Antonio L. Furtado,et al.  Dynamic modelling of a simple existence constraint , 1981, Inf. Syst..

[12]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[13]  Gilles M. E. Lafue.  Semantic Integrity Dependencies and Delayed Integrity Checking , 1982, VLDB.

[14]  Philip A. Bernstein,et al.  Fast methods for testing quantified relational calculus assertions , 1982, SIGMOD '82.

[15]  Wolffried Stucky,et al.  Integrity checking in data base systems , 1983, Inf. Syst..

[16]  Richard A. Frost,et al.  A Step Towards the Automatic Maintenance of the Semantic Integrity of Databases , 1983, Comput. J..

[17]  Ronald Fagin,et al.  Armstrong Databases for Functional and Inclusion Dependencies , 1983, Inf. Process. Lett..

[18]  Armin B. Cremers,et al.  AIM - An Integrity Monitor for the Database System INGRES , 1983, VLDB.

[19]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[20]  C. J. Date.  A guide to DB2 , 1984 .

[21]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

[22]  Rodney W. Topor,et al.  Deductive Database Tools , 1985, Aust. Comput. J..

[23]  Tomasz Imielinski,et al.  Integrity checking for multiple updates , 1985, SIGMOD '85.

[24]  John W. Lloyd,et al.  A Basis for Deductive Database Systems , 1985, J. Log. Program..

[25]  Reind P. van de Riet,et al.  Expert database systems , 1986, Future Gener. Comput. Syst..

[26]  John W. Lloyd,et al.  A Basis for Deductive Database Systems II , 1986, J. Log. Program..

[27]  Hendrik Decker,et al.  Integrity Enforcement on Deductive Databases , 1986, Expert Database Conf..

[28]  Liz Sonenberg,et al.  Integrity Constraint Checking in Stratified Databases , 1987, J. Log. Program..

[29]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.

[30]  Rodney W. Topor,et al.  Safety and correct translation of relational calculus formulas , 1987, PODS '87.

[31]  Shamim A. Naqvi,et al.  Database updates in logic programming , 1988, PODS.

[32]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[33]  Paola Inverardi,et al.  Improving Integrity Constraint Checking in Deductive Databases , 1988, ICDT.

[34]  Hendrik Decker,et al.  A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases , 1988, EDBT.

[35]  Maurice Bruynooghe,et al.  Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph , 1988, Expert Database Conf..

[36]  Robert A. Kowalski,et al.  A Theorem-Proving Approach to Database Integrity , 1988, Foundations of Deductive Databases and Logic Programming..

[37]  Serge Abiteboul,et al.  Procedural and declarative database update languages , 1988, PODS '88.

[38]  Hendrik Decker,et al.  Préserver l'intégrité d'une base de données déductive: une méthode et son implementation , 1988, BDA.

[39]  Michael J. Maher,et al.  Foundations of Deductive Databases and Logic Programming , 1988 .

[40]  Eric Simon,et al.  A production rule based approach to deductive databases , 1988, Proceedings. Fourth International Conference on Data Engineering.

[41]  Guido Moerkotte,et al.  Efficient Consistency Control in Deductive Databases , 1988, ICDT.

[42]  Serge Abiteboul,et al.  Updates, A New Frontier , 1988, ICDT.

[43]  François Bry,et al.  Logical Rewritings for Improving the Evaluation of Quantified Queries , 1989, MFDBS.

[44]  M. Howard Williams,et al.  A Path Finding Method for Constraint Checking in Deductive Databases , 1989, Data Knowl. Eng..

[45]  Paola Inverardi,et al.  Selective Refutation of Integrity Constraints in Deductive Databases , 1989, MFDBS.

[46]  François Bry,et al.  Towards an efficient evaluation of general queries: quantifier and disjunction processing revisited , 1989, SIGMOD '89.

[47]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[48]  Jean-Marie Nicolas.  Logic for improving integrity checking in relational data bases⋆ , 2004, Acta Informatica.