article

Free access

Some recent developments in deductive databases

Author:

Shalom TsurAuthors Info & Claims

ACM SIGMOD Record, Volume 20, Issue 4

Pages 98 - 101

https://doi.org/10.1145/141356.141404

Published: 01 December 1991 Publication History

PDF eReader

References

[1]

[NaTs91] Annals of Mathematics and Artificial Intelligence, Volume 3 (1991), No. 2-4. Special Issue on Deductive Databases. J.C. Balzer Scientific Publishing Company, Basel--Switzerland.

Google Scholar

[2]

[GGZ91] Ganguly, S., Greco, S., and C. Zaniolo. Minimum and Maximum Predicates in Logic Programming. Proc. Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. May 29-31 1991, Denver, CO., pp. 154-163.

Digital Library

Google Scholar

[3]

[KW89] Kifer, M. and J. Wu A logic for Object-Oriented Programming (Maier' s O-Logic Revisited). Proc. Eight ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-32, 1989, Philadelphia, PA., pp. 379-393.

Digital Library

Google Scholar

[4]

[NT89] Naqvi, S., and S. Tsur. A Logical Language for Data and Knowledge Bases. W. H. Freeman, 1989.

Digital Library

Google Scholar

[5]

[PDR91] Phipps, G, Derr M.A., and K.A. Ross Glue-Nail: A Deductive Database System. Proc. 1991 ACM SIGMOD International Conference on Management of Data, Denver CO., May 29-31, pp. 308-317.

Digital Library

Google Scholar

[6]

[Ts91 ] S. Tsur. Deductive Databases in Action. Proc. Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. May 29-31 1991, Denver, CO., pp. 142-153.

Digital Library

Google Scholar

[7]

[Ull89] J.D. Ullman, Principles of Database and Knowledge-Base Systems, Volume 2: The New Technologies. Computer Science Press, 1989.

Digital Library

Google Scholar

[8]

[VG89] A. Van Gelder, The Alternating Fix-point of Logic Programs with Negation, Proc. Eight ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-32, 1989, Philadelphia, PA., pp. 1-10.

Digital Library

Google Scholar

[9]

[LDL++] Ami, N., Ong, K., Tsur S., and C. Zaniolo. The Design of the LDL++ System . Invited Talk, Workshop on Deductive Databases, San Diego, Oct 31, 1991.

Google Scholar

Index Terms

Some recent developments in deductive databases
1. Information systems
  1. Data management systems
  2. Information systems applications
    1. Decision support systems
      1. Expert systems

Recommendations

Deductive databases: achievements and future directions
Directions for future database research & development

In the recent years, Deductive Databases have been the focus of intense research, which has brought dramatic advances in theory, systems and applications. A salient feature of deductive databases is their capability of supporting a declarative, rule-...
Deductive databases: implementation, parallelism and applications
ICLP'06: Proceedings of the 22nd international conference on Logic Programming

The area of integrating or coupling a database with LP systems in order to obtain a Deductive Database System (DDS) is still of interest and poses many research problems. In particular, the basis for my work is the MySQL Yap Deductive DAtabase System (...
An integrity constraint checking method for temporal deductive databases
TIME '96: Proceedings of the 3rd Workshop on Temporal Representation and Reasoning (TIME'96)

The authors propose a method for integrity checking in the context of temporal deductive databases. A temporal deductive database is a deductive database that supports some aspect of time, in our case valid time, in which valid time is the time when the ...

Comments

Information & Contributors

Information

Published In

ACM SIGMOD Record Volume 20, Issue 4

Dec. 1991

95 pages

ISSN:0163-5808

DOI:10.1145/141356

Editor:
Arie Segeav
Univ. of California, Berkeley

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1991

Published in SIGMOD Volume 20, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
87
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)3

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Index Terms

Recommendations

Deductive databases: achievements and future directions

Deductive databases: implementation, parallelism and applications

An integrity constraint checking method for temporal deductive databases

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations