Deductive databases in action

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Deductive databases in action

Full text

Pdf (1.05 MB)

Source

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

Denver, Colorado, United States

Pages: 142 - 153

Year of Publication: 1991

ISBN:0-89791-430-9

Author

Shalom Tsur

Microelectronics, and Computer Technology Corporation, Austin, Texas

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): 4, Downloads (12 Months): 37, Citation Count: 5

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

	Ack90	Ackley, D. et a/. "Systems Analysis for Deductive Database Environments: an Enhanced Role for Aggregate Entities" Proc. 9#h In#ernationa#l Conference on En#ity- Relationship Approach# Lausanne (CH), Oct 8-10, 1990, pp. 129-142.
	Ack90a	"Process-Object-State Modeling, a proprietary, multi-dimensional modeling method". Ackley Assodates, Fremont, California.
	ANSI89	"The Registration Authority Case Study" Report presented to the ANSI/X3/SPARC/DBSSG Data Analysis and Design Task Group. Washington, D.C., October 1989.
	Bocc86	Jorge Bocca, On the evaluation strategy of EDUCE, Proceedings of the 1986 ACM SIGMOD international conference on Management of data, p.368-378, May 28-30, 1986, Washington, D.C., United States
	Ceri87	Ceri, S., Gotlob, G,, and G. Wiederhold. "Interfacing Relational Databases and Prolog Efficiently" Expert Database Systems, L. Kershberg, Ed., Benjamin Cummings, 1987.
	CG89	D. Chimenti, and R. Gamboa. The SALAD Cookbook: a User/Programmer's Guide. MCC Technical Report, ACT-ST- 346-89
	ConMen90	Mariano P. Consens , Alberto O. Mendelzon, Low complexity aggregation in GraphLog and Datalog, Proceedings of the third international conference on database theory on Database theory, p.379-394, November 1990, Paris, France
	Data87	IEEE Data Engineering, Special Issue on Databases and Logic, C. Zaniolo, Ed. December 1987, Vol 10, No. 4.
	Gun90	Giintzer, U., Kiefiling, W., and H. ThSne. "New Directions For Uncertainty Reasoning In Deductive Databases" Submitted for Publication.
	Gall78	Herve Gallaire , Jack Minker, Logic and Data Bases, Perseus Publishing, 1978
	Gall84	Gallaire, H., Minker, J., and J.M. Nicolas, editors. Advances in Logic and Databases, Volume 2. Plenum Press, New York, 1984.
	Gall84a	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]
	GST90	Sumit Ganguly , Avi Silberschatz , Shalom Tsur, A framework for the parallel processing of Datalog queries, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.143-152, May 23-26, 1990, Atlantic City, New Jersey, United States
	GGZ91	Sumit Ganguly , Sergio Greco , Carlo Zaniolo, Minimum and maximum predicates in logic programming, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.154-163, May 29-31, 1991, Denver, Colorado, United States [doi>10.1145/113413.113427]
	GST90	Sumit Ganguly , Avi Silberschatz , Shalom Tsur, A framework for the parallel processing of Datalog queries, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.143-152, May 23-26, 1990, Atlantic City, New Jersey, United States
	GN87	Gallaire, H., and J-M Nicolas. Logic Approach to Knowledge and Data Bases st ECRC. In Data Engineering Vol 10., pp. 2--9, Dec. 1987.
	Herd88	Herdmaxt, R., et #1. "MAPPING OUR GENES Genome Projects" How Big, How Fast?" Congress of the United States, Office of Technology Assessment. The John Hopkins University Press, 1988.
	Jark86	Matthias Jarke , Jim Clifford , Yannis Vassiliou, An optimizing prolog front-end to a relational query system, Proceedings of the 1984 ACM SIGMOD international conference on Management of data, June 18-21, 1984, Boston, Massachusetts
	Kell82	Kellogg, C., "A Practical Amalgam of Knowledge and Data Base Teclmology" Proc. AAAI Conference, Pittsburgh, PA., 1982.
	Kier90	G. Kiernan , C. de Maindreville , E. Simon, Making deductive databases a practical technology: a step forward, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.237-246, May 23-26, 1990, Atlantic City, New Jersey, United States
	Kowal79	Robert Kowalski, Logic for problem-solving, North-Holland Publishing Co., Amsterdam, The Netherlands, 1986
	Kuni84	Kunifji S., and H. Yokota. "Prolog and Relational Databases for 5th Generation Computer Systems" in Advances in Logic and Databases, Volume 2, Gallaire, Minker and Nicolas eds. Plenum Press, New York, 1984.
	Lagunita90	"Database Systems: Achievements and Opportunities" The "Lagunita" Report of the NSF Invitational Workshop on the Future of Datsbase Systems Research, Palo Alto, CA., February 22.23, 1990. A. Silberschatz, M. Stonebraker and J.D. Ullman (eds.).
	LDL90	D. Chimenti , R. Gamboa , R. Krishnamurthy , S. Naqvi , S. Tsur , C. Zaniolo, The LDL System Prototype, IEEE Transactions on Knowledge and Data Engineering, v.2 n.1, p.76-90, March 1990 [doi>10.1109/69.50907]
	Lefe89	Lefebre, A., and L. Vielle. "On Deductive Query I#valuation in the DedGin System" Proc. 1st. International Conference on Deductive and 0-0 Databases, Dec 4- 6, 1989, Kyoto, Japan.
	Li84	Deyi Li, PROLOG Database System, John Wiley & Sons, Inc., New York, NY, 1984
	Mink87	J. Minker, Foundations of deductive databases and logic, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1987
	Morr87	Morris, K., et al. "YAWN! (yet Another Window on NAIL!), In Data Engineering Vol 10., pp. 24---44, Dec. 1987.
	MPR90	Inderpal Singh Mumick , Hamid Pirahesh , Raghu Ramakrishnan, The magic of duplicates and aggregates, Proceedings of the sixteenth international conference on Very large databases, p.264-277, September 1990, Brisbane, Australia
	Naor89	Naor, D., W. Chang, D. Gusfield, E. Lawler and F. Olken "Mapping Algorithms for DNA Partial Digestion, A Survey", unpublished manuscript, May 1989.
	NaTs89	S. Naqvi , S. Tsur, A logical language for data and knowledge bases, Computer Science Press, Inc., New York, NY, 1989
	Shmu90	Oded Shmueli , Shalom Tsur, Logical diagnosis of LDL programs, Logic programming, MIT Press, Cambridge, MA, 1990
	SSN90	Steven S. Skiena , Warren D. Smith , Paul Lemke, Reconstructing sets from interpoint distances (extended abstract), Proceedings of the sixth annual symposium on Computational geometry, p.332-339, June 07-09, 1990, Berkley, California, United States [doi>10.1145/98524.98598]
	Tsur90	Tsur, S., Applications of Deductive Database Systems. In Proc. COMPCON 90', Feb. 26, 1990, San Francisco, CA.
	Tsur90a	Shalom Tsur, Data dredging, Data Engineering, v.13 n.4, p.58-63, Dec. 1990
	Tsur90b	Tsur, S., Olken, F., and D. Naor. "Deductive Databases for Genomic Mapping" NA CLP Workshop on Applications of Deductive Databases Austin, TX., November 1990.
	Ull90	Ullman, J.,D., "The Theory of Deductive Database Systems" Proc. COMPCON90', San Francisco# Feb. 1990.
	Ull89	UUman, .I.D. Principles of Database and Knowledge-Base Systems, Vol. Ii: The New Technologies Computer Science Press, RoekviUe, MD., 1989.
	UlZan90	Jeffrey D. Ullman , Carlo Zaniolo, Deductive databases: achievements and future directions, ACM SIGMOD Record, v.19 n.4, p.75-82, Dec. 1990 [doi>10.1145/122058.122067]
	Wahl91	Wahl, D., "Bills of Materials in Relational Databases, An Analysis of Current Research and Its Application to Manufacturing Databases" Digital Equipment Corporation Technical Report# 22 February, 1991.
	WS88	Ouri Wolfson , Avi Silberschatz, Distributed processing of logic programs, Proceedings of the 1988 ACM SIGMOD international conference on Management of data, p.329-336, June 01-03, 1988, Chicago, Illinois, United States
	WO90	Ouri Wolfson , Aya Ozeri, A new paradigm for parallel and distributed rule-processing, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.133-142, May 23-26, 1990, Atlantic City, New Jersey, United States
	Zani90	Zaniolo, C., "Architectures of Deductive Database Systems" Proe. COMPCON 90', Feb. 26, 1990, San Franciseo# CA.
	Zani90a	Carlo Zaniolo, Deductive databases—theory meets practice, Proceedings of the international conference on extending database technology on Advances in database technology, p.1-15, March 1990, Venice, Italy

CITED BY 5

	Haixun Wang , Carlo Zaniolo, Nonmonotonic reasoning in LDL++, Logic-based artificial intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
	Carlo Zaniolo, Data and knowledge in database systems: deductive databases, Handbook of data mining and knowledge discovery, Oxford University Press, Inc., New York, NY, 2002
	Mark Levene , George Loizou, A Graph-Based Data Model and its Ramifications, IEEE Transactions on Knowledge and Data Engineering, v.7 n.5, p.809-823, October 1995
	Shalom Tsur, Some recent developments in deductive databases, ACM SIGMOD Record, v.20 n.4, p.98-101, Dec. 1991
	Michel Kuntz, The gist of GIUKU: graphical interactive intelligent utilities for knowledgeable users of data base systems, ACM SIGMOD Record, v.21 n.1, p.58-64, March 1992