A non-deterministic deductive database language

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A non-deterministic deductive database language

Full text

Pdf (1.06 MB)

Source

International Conference on Management of Data archive
Proceedings of the 1991 ACM SIGMOD international conference on Management of data table of contents

Denver, Colorado, United States

Pages: 188 - 197

Year of Publication: 1991

ISBN:0-89791-425-2

Also published in ...

Author

Yeh-Heng Sheng

UniSQL, Inc., 9380 Research Blvd., Kaleido II, Ste. 220, Austin, TX

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): 3, Downloads (12 Months): 12, Citation Count: 1

Additional Information:

references cited by index terms

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/115790.115817 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.

	ABW88	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
	ASV90	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 [doi>10.1145/298514.298575]
	AV87	S. Abiteboul , V. Vianu, A translation language complete for database update and specification, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.260-268, March 23-25, 1987, San Diego, California, United States [doi>10.1145/28659.28688]
	AV88	Serge Abiteboul , Victor Vianu, Procedural and declarative database update languages, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.240-250, March 1988, Austin, Texas, United States [doi>10.1145/308386.308448]
	CH80	A.K. Chandra and D. Harel. Computable Queries for Relational Databases. Journal of Computer and System Sciences, 21(2):156-178, October 1980.
	Cha81	Ashok K. Chandra, Programming primitives for database languages, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.50-62, January 26-28, 1981, Williamsburg, Virginia [doi>10.1145/567532.567537]
	End72	H.B. Enderton. A Methematical Introduction to Logic. Academic Press, 1972.
	GL88	M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. Proceedings of the Fifth Logic Programming Symposium, pages 1070-1080, 1988.
	GS85	Y. Gurevich and S. Shelah. Fixed-Point Extensions of First-Order Logic. In Proceedings of 26th Annual Symposium on Foundations of Computer Science, pages 346-353. IEEE, 1985.
	HS89	R. Hull , J. Su, Untyped sets, invention, and computable queries, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.347-359, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73755]
	HS90	Richard Hull , Jianwen Su, Algebraic and calculus query languages for recursively typed complex objects, Journal of Computer and System Sciences, v.47 n.1, p.121-156, Aug. 1993
	KN88	R. Krishnamurthy and S. Naqvi. Nondeterministic Choice in Datalog. Technical Report ACA-ST-029-88, MCC, Austin, TX 78759, March 1988.
	KP88	Phokion G. Kolaitis , Christos H. Papadimitriou, Why not negation by fixpoint?, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.231-239, March 1988, Austin, Texas, United States [doi>10.1145/308386.308446]
	MS88	Christophe de Maindreville , Eric Simon, Modelling Non Deterministic Queries and Updates in Deductive Databases, Proceedings of the 14th International Conference on Very Large Data Bases, p.395-406, August 29-September 01, 1988
	NT89	S. Naqvi , S. Tsur, A logical language for data and knowledge bases, Computer Science Press, Inc., New York, NY, 1989
	Prz88a	T. C. Przymusinski, On the declarative and procedual semantics of logic programs, Journal of Automated Reasoning, v.5 n.2, p.167-205, June 1989
	Prz88b	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
	RBK88	R. Ramakrishnan, C. Beeri, and R. Krishnamurthy. Optimizing Existential Datalog Queries, 1988. Draft.
	Rei83	R. Reiter. Towards a Logical Reconstruction of Relational Database Theory. In M.L. Brodie, J. Mylopoulos, and J. Schmidt, editors, On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages. Springer-Verlag, 1983.
	She90a	Yeh-Heng Sheng, A nondeterministic deductive database language with tuple-identifications, State University of New York at Stony Brook, Stony Brook, NY, 1991
	She90b	Yeh-Heng Shen, IDLOG: extending the expressive power of deductive database languages, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.54-63, May 23-26, 1990, Atlantic City, New Jersey, United States
	SZ90	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 [doi>10.1145/298514.298572]
	Gel88	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
	VGRS88	A. Van Gelder, K.A. Ross, and J.S. Schlipf. Well-Founded Semantics for General Logic Programs. Technical Report UCSC-CRL- 88-16, University of California, Santa Cruz, University of California, Santa Cruz, CA 95064, March 1988.
	Zan86	C. Zaniolo. Safety and Compilation of Non- Recursive Horn Clauses. Proceedings of of the ist Expert Database Conf., 1986.