Implementing deductive databases by linear programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Implementing deductive databases by linear programming

Full text

Pdf (927 KB)

Source

Symposium on Principles of Database Systems archive
Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems table of contents

San Diego, California, United States

Pages: 283 - 292

Year of Publication: 1992

ISBN:0-89791-519-4

Authors

Colin Bell
Anil Nerode
Raymond T. Ng
V. S. Subrahmanian

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGMOD: ACM Special Interest Group on Management of Data

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 21, Citation Count: 7

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/137097.137892 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	Francois Bancilhon , David Maier , Yehoshua Sagiv , Jeffrey D Ullman, Magic sets and other strange ways to implement logic programs (extended abstract), Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, p.1-15, March 24-26, 1986, Cambridge, Massachusetts, United States [doi>10.1145/6012.15399]
	2	Francois Bancilhon , Raghu Ramakrishnan, An amateur's introduction to recursive query processing strategies, Proceedings of the 1986 ACM SIGMOD international conference on Management of data, p.16-52, May 28-30, 1986, Washington, D.C., United States
	3	C. Beeri , R. Ramakrishnan, On the power of magic, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.269-284, March 23-25, 1987, San Diego, California, United States [doi>10.1145/28659.28689]
	4	Colin Bell , Anil Nerode , Raymond T. Ng , V. S. Subrahmanian, Implementing deductive databases by linear programming, University of Maryland at College Park, College Park, MD, 1991
	5	Colin Bell , Anil Nerode , Raymond T. Ng , V. S. Subrahmanian, Computation and implementation of non-monotonic deductive databases, University of Maryland at College Park, College Park, MD, 1991
	6	C E Blair , R G Jeroslow , J K Lowe, Some results and experiments in programming techniques for propositional logic, Computers and Operations Research, v.13 n.5, p.633-645, May 1986 [doi>10.1016/0305-0548(86)90056-0]
	7	F. Hillier and G. Lieberman. (1974) Operations Research, Holden-Day.
	8	J. Hooker and C. Fedjki. (1990) Branch-and.Cut Solution of Inference Problems in Propositional Logic, Annals of Mathematics and Artificial intelligence, pp 123-139.
	9	J. Jaffar , J.-L. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.111-119, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41635]
	10	Robert G. Jeroslow, Computation-oriented reductions of predicate to propositional logic, Decision Support Systems, v.4 n.2, p.183-197, June 1988 [doi>10.1016/0167-9236(88)90128-5]
	11	Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz, Constraint query languages (preliminary report), Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.299-313, April 02-04, 1990, Nashville, Tennessee, United States [doi>10.1145/298514.298582]
	12	L. G. Khachian. (1979) A Polynomial Algorithm for Linear Programming, Doklady Akad. Nauk USSR 224, pp 1093-1096. Translated in Soviet Math Doklady, 20, pp. 191-194.
	13	M. Maher. (1991) Personal electronic mail message, July 29, 1991.
	14	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
	15	Katherine Morris , Jeffrey D Ullman , Allen Van Gelder, Design overview of the NAIL] system, Proceedings on Third international conference on logic programming, p.554-568, September 1986, London, United Kingdom
	16	V. S. Subrahmanian , Dana Nau , Carlo Vago, WFS + branch and bound = stable models, University of Maryland at College Park, College Park, MD, 1992
	17	Nicholas Roussopoulos, An incremental access method for ViewCache: concept, algorithms, and cost analysis, ACM Transactions on Database Systems (TODS), v.16 n.3, p.535-563, Sept. 1991 [doi>10.1145/111197.111215]
	18	Oded Shmueli , Shalom Tsur , Carlo Zaniolo, Rewriting of rules containing set terms in a logic data language LDL, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.15-28, March 1988, Austin, Texas, United States [doi>10.1145/308386.308400]
	19	J. D. Ullman, Bottom-up beats top-down for datalog, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.140-149, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73736]
	20	A. Van Gelder, The alternating fixpoint of logic programs with negation, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.1-10, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73722]

CITED BY 7

	Piero Andrea Bonatti , Nicola Olivetti, Sequent calculi for propositional nonmonotonic logics, ACM Transactions on Computational Logic (TOCL), v.3 n.2, p.226-278, April 2002
	Eberhard U. Stickel, A linear programming approach to logical inference, Proceedings of the 1993 ACM conference on Computer science, p.100-106, February 16-18, 1993, Indianapolis, Indiana, United States
	Colin Bell , Anil Nerode , Raymond T. Ng , V. S. Subrahmanian, Mixed integer programming methods for computing nonmonotonic deductive databases, Journal of the ACM (JACM), v.41 n.6, p.1178-1215, Nov. 1994
	Raymond T. Ng, Semantics, Consistency, and Query Processing of Empirical Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.9 n.1, p.32-49, January 1997
	Piero A. Bonatti , Sarit Kraus , V. s. Subrahmanian, Foundations of Secure Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.7 n.3, p.406-422, June 1995
	James J. Lu , Anil Nerode , V. s. Subrahmanian, Hybrid Knowledge Bases, IEEE Transactions on Knowledge and Data Engineering, v.8 n.5, p.773-785, October 1996
	V. s. Subrahmanian, Nonmonotonic Logic Programming, IEEE Transactions on Knowledge and Data Engineering, v.11 n.1, p.143-152, January 1999