The impact of logic programming on databases

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The impact of logic programming on databases

Full text

Pdf (4.54 MB)

Source

Communications of the ACM archive
Volume 35 , Issue 3 (March 1992) table of contents

Pages: 66 - 81

Year of Publication: 1992

ISSN:0001-0782

Authors

John Grant	Department of Computer and Information Sciences, Towson State University, Towson, MD
Jack Minker	Department of Computer Science, University of Maryland, College Park, MD

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 37, Citation Count: 10

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/131295.131297 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Krzysztof R. Apt , M. H. van Emden, Contributions to the Theory of Logic Programming, Journal of the ACM (JACM), v.29 n.3, p.841-862, July 1982 [doi>10.1145/322326.322339]
	2	K. R. Apt , H. A. Blair , A. Walker, Towards a theory of declarative knowledge, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	3	Krzysztof R. Apt, Logic programming, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
	4	F. Bancilhon , R. Ramakrishnan, Performance evaluation of data intensive logic programs, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	5	Blaustein, B.T. "Enforcing Database Assertions: Techniques and Applications", Ph.D. dissertation, Computer science Department, Harvard University, 1981.
	6	U S Chakravarthy , D H Fishman , J Minker, Semantic query optimization in expert systems and database systems, Proceedings from the first international workshop on Expert database systems, p.659-674, January 1986, Kiawah Island, South Carolina, United States
	7	U. S. Chakravarthy , J. Grant , J. Minker, Foundations of semantic query optimization for deductive databases, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	8	Chan, C. constructive negation based on the completer database. In Logic Programming Proceedings of the 5th International Conference and Symposium, R. A Kowalski and K.A. Bowen, Eds. The MIT Press, (1988) pp. 111-125.
	9	Chandra, A. and Harel, d. Horn clause queries and generalizations. J. Logic Program. 2 (1985), 1-15.
	10	Clark, K.L., "Negation as Failue". In Logic and Databases, H. Gallaire and J. Minker, Eds. Plenum, 1978. 293-322.
	11	Colmerauer, A. "Theoretical Model of Prolog II". In Logic Programming and its Application. M. Van caeghen, and D. Warren, Eds., Ablex, 1986, 3-31.
	12	Ronald Fagin , Jeffrey D. Ullman , Moshe Y. Vardi, On the semantics of updates in databases, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, March 21-23, 1983, Atlanta, Georgia [doi>10.1145/588058.588100]
	13	Gal, A. and Minker, J. "informative and cooperative Answers in Databases Using Integrity Constraints." In Natural Language Understanding and Logic, P. Saint-Dizier and V. Dahl, Eds. North-Holland, 1988.
	14	Herve Gallaire , Jack Minker, Logic and Data Bases, Perseus Publishing, 1978
	15	Herve Gallaire , Jack Minker , Jean-Marie Nicolas, Logic and Databases: A Deductive Approach, ACM Computing Surveys (CSUR), v.16 n.2, p.153-185, June 1984 [doi>10.1145/356924.356929]
	16	Grant, J. and Minker, J. Deductive database theories. Knowled. Eng. Rev. 4, (1989), 267-604.
	17	Grant, J. and Minker, J., "Integrity constraints in Knowledge Based Systems," In Knowledge Engineering vol. II, Applications. H. Adeli, Ed. McGraw-Hill, 1990.
	18	C. Cordell Green , Bertram Raphael, The use of theorem-proving techniques in question-answering systems, Proceedings of the 1968 23rd ACM national conference, p.169-181, August 27-29, 1968 [doi>10.1145/800186.810578]
	19	Hanuner, M.M. and Zdonik, S.B. Knowledge bassed query processing. In Proceedings of the 6th VLDB Conference (1980), 137-147.
	20	Hill, r. "LUSH Resolutioin and Its completeness." DCS Memo No. 78, Universitu of Edinburgh, School of Artificial Intelliigence, 1974.
	21	Samuel Jerrold Kaplan, Cooperative responses from a portable natural language data base query system., 1979
	22	Jonathan Jay King, Query optimization by semantic reasoning, 1981
	23	Kowalskim R.A. and Kuehner, D. Linear resolution with selection function. Artific, Intell., 2 (1971). 227-260.
	24	J.-L. Lassez , M. J. Maher , K. Marriott, Unification revisited, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	25	J. W. Lloyd, Foundations of logic programming; (2nd extended ed.), Springer-Verlag New York, Inc., New York, NY, 1987
	26	Jorge Lobo , Jack Minker , Arcot Rajasekar, Foundations of disjunctive logic programming, MIT Press, Cambridge, MA, 1992
	27	Loveland, d. "Theorem Proves combining Model Elimination and Resolution." In Machine Intelligence, Vol,. 4, B. Meltzer and d. Michie, Eds., Elsevier North-Holland, 1969, 73-86.
	28	McSkimin, J.R. and Minkrt, J. The use of a semantic network in a deductive query answering system. In Proceedings of the 5th IJCAI, (1977), pp. 50-58.
	29	Jack Minker, On Indefinite Databases and the Closed World Assumption, Proceedings of the 6th Conference on Automated Deduction, p.292-308, June 07-09, 1982
	30	Jack Minker, Perspectives in deductive databases, Journal of Logic Programming, v.5 n.1, p.33-60, March 1988 [doi>10.1016/0743-1066(88)90006-4]
	31	J. Minker, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	32	Jack Minker , Arcot Rajasekar, A fixpoint semantics for disjunctive logic programs, Journal of Logic Programming, v.9 n.1, p.45-74, Jul. 1990 [doi>10.1016/0743-1066(90)90033-2]
	33	Naqvi, s.A. A logic for negation in database systems. In Proceedings of the Workshop on foundations of Deductive Databases and Logic Progammings, J. Minker, Ed. (1986), 378-387.
	34	Nicols, H\|J.M. Logic for improving integrity checking in relational data bases. Acta Informaticaa 18(1982), 227-253.
	35	T. C. Przymusinski, On the declarative semantics of deductive databases and logic programs, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	36	T. C. Przymusinski, Every logic program has a natural stratification and an iterated least fixed point model, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.11-21, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73723]
	37	Reiter, R. "On Closed World datbases", In Logic and Databases, H. Gallaire and J. Minker, Eds. Plenum, 1978, 149-178.
	38	Reiter, r., "deductive Question- Answering on Relational Databases." In Logic and Databases. H. Callaire and J. Minker, Eds. Plenum, 1978, 149-178.
	39	Reiter, R. " Towards a Logical Reconstructon of Relational Database Theory." In On Conceptual Modelling, M.L. Brodie, J. Mylopoulos, and J.W. Schmidt, Eds. Springer- Verlag, 1984, 191-233.
	40	J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM (JACM), v.12 n.1, p.23-41, Jan. 1965 [doi>10.1145/321250.321253]
	41	Robinson, J.A. Automatic deduction with hyper-resolution. Int. J. Comput. Math, 1 (1965), 227-234.
	42	J. A. Robinson, Logic and logic programming, Communications of the ACM, v.35 n.3, p.40-65, March 1992 [doi>10.1145/131295.131296]
	43	J. C. Shepherdson, Negation in logic programming, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	44	Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988
	45	M. H. Van Emden , R. A. Kowalski, The Semantics of Predicate Logic as a Programming Language, Journal of the ACM (JACM), v.23 n.4, p.733-742, Oct. 1976 [doi>10.1145/321978.321991]
	46	A. V. Gelder, Negation as failure using tight derivations for general logic programs, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	47	Allen Van Gelder , Kenneth A. Ross , John S. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM (JACM), v.38 n.3, p.619-649, July 1991 [doi>10.1145/116825.116838]

CITED BY 10

	Lu Zhang , Ken-Chih Liu, Towards a relational model for exclusively disjunctive information, Proceedings of the 1993 ACM conference on Computer science, p.143-150, February 16-18, 1993, Indianapolis, Indiana, United States
	Mengchi Liu, Deductive database languages: problems and solutions, ACM Computing Surveys (CSUR), v.31 n.1, p.27-62, March 1999
	Mengchi Liu, DrawCAD: using deductive object-relational databases in CAD, Software—Practice & Experience, v.33 n.2, p.143-172, 1 February 2003
	Ping Wu , Stanley Y. W. Su, Rule validation based on logical deduction, Proceedings of the second international conference on Information and knowledge management, p.164-173, November 01-05, 1993, Washington, D.C., United States
	F. Bergadano, Inductive Database Relations, IEEE Transactions on Knowledge and Data Engineering, v.5 n.6, p.969-972, December 1993
	Rodolfo Sabás Gómez , Juan Carlos Augusto, Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states, Artificial Intelligence Review, v.26 n.4, p.269-289, December 2006
	G. Terracina , N. Leone , V. Lio , C. Panetta, Experimenting with recursive queries in database and logic programming systems, Theory and Practice of Logic Programming, v.8 n.2, p.129-165, March 2008
	Henning Christiansen , Davide Martinenghi, On Simplification of Database Integrity Constraints, Fundamenta Informaticae, v.71 n.4, p.371-417, December 2006
	Eberhard U. Stickel, An experience with CASE tool support for financial product design, ACM SIGMIS Database, v.24 n.4, p.31-35, Nov. 1993
	Ernest Teniente , Toni Urpí, On the abductive or deductive nature of database schema validation and update processing problems, Theory and Practice of Logic Programming, v.3 n.3, p.287-327, May 2003