Fixpoint extensions of first-order logic and datalog-like languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Fixpoint extensions of first-order logic and datalog-like languages

Source

Proceedings of the Fourth Annual Symposium on Logic in computer science table of contents

Pacific Grove, California, United States

Pages: 71 - 79

Year of Publication: 1989

ISBN:0-8186-1954-6

Authors

S. Abiteboul
V. Vianu

Publisher

IEEE Press Piscataway, NJ, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 16

Additional Information:

cited by index terms collaborative colleagues

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

CITED BY 16

	Serge Abiteboul , Paris C. Kanellakis, Object identity as a query language primitive, Journal of the ACM (JACM), v.45 n.5, p.798-842, Sept. 1998
	Stéphane Grumbach , Victor Vianu, Tractable query languages for complex object databases, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.315-327, May 29-31, 1991, Denver, Colorado, United States
	Moshe Y. Vardi, On the complexity of bounded-variable queries (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.266-276, May 22-25, 1995, San Jose, California, United States
	Alexandra Poulovassilis , Mark Levene, A nested-graph model for the representation and manipulation of complex objects, ACM Transactions on Information Systems (TOIS), v.12 n.1, p.35-68, Jan. 1994
	Stéphane Grumbach , Jianwen Su, Dense-order constraint databases (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.66-77, May 22-25, 1995, San Jose, California, United States
	Surajit Chaudhuri , Moshe Y. Vardi, On the equivalence of recursive and nonrecursive datalog programs, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.55-66, June 02-05, 1992, San Diego, California, United States
	Serge Abiteboul , Eric Simon , Victor Vianu, Non-deterministic languages to express deterministic transformations, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.218-229, April 02-04, 1990, Nashville, Tennessee, United States
	Andreas Blass , Yuri Gurevich , Jan Van den Bussche, Abstract state machines and computationally complete query languages, Information and Computation, v.174 n.1, p.20-36, April 10, 2002
	Surajit Chaudhuri , Moshe Y. Vardi, On the complexity of equivalence between recursive and nonrecursive Datalog programs, Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.107-116, May 24-27, 1994, Minneapolis, Minnesota, United States
	Serge Abiteboul , Moshe Y. Vardi , Victor Vianu, Fixpoint logics, relational machines, and computational complexity, Journal of the ACM (JACM), v.44 n.1, p.30-56, Jan. 1997
	Neil Immerman , Sushant Patnaik , David Stemple, The expressiveness of a family of finite set languages, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.37-52, May 29-31, 1991, Denver, Colorado, United States
	Serge Abiteboul , Victor Vianu, Generic Computation and its complexity, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p.209-219, May 05-08, 1991, New Orleans, Louisiana, United States
	Domenico Sacca , Carlo Zaniolo, Stable models and non-determinism in logic programs with negation, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.205-217, April 02-04, 1990, Nashville, Tennessee, United States
	Marcello Balduccini , Enrico Pontelli , Omar Elkhatib , Hung Le, Issues in parallel execution of non-monotonic reasoning systems, Parallel Computing, v.31 n.6, p.608-647, June 2005
	Stéphane Grumbach , Zoé Lacroix, On non-determinism in machines and languages, Annals of Mathematics and Artificial Intelligence, v.19 n.1-2, p.169-213, 1997
	Marco Gaboardi , Jean-Yves Marion , Simona Ronchi Della Rocca, A logical account of pspace, ACM SIGPLAN Notices, v.43 n.1, January 2008