A temporal deductive database model
Pages 290 - 297
Abstract
We extend the deductive database model by incorporating the notion of time. We define the notion of temporal Horn clauses. The declarative semantics of temporal deductive databases is presented. Then, we develop a bottom-up evaluation scheme for temporal deductive rules. We establish the correctness of the bottom-up approach. Examples of queries are presented.
References
[1]
J. Chomicki. Polynomial time query processing in temporal deductive databases. In Proceedings of ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990.
[2]
E. F. Codd. A relational model for large shared data banks. Communications of the ACM, 13(6):377--387, June 1970.
[3]
S. K. Gadia. A homogeneous relational model and query languages for temporal databases. ACM Transactions on Database Systems, 13(4):418--448, 1988.
[4]
S. K. Gadia and J. H. Vaishnav. A query language for a homogeneous temporal database. In Proceedings of ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 51--56, 1985.
[5]
H. Gallaire, J. Minker, and J. M. Nicolas. Logic and databases : A deductive approach. ACM Computing Surveys, 16(2):151--184, June 1984.
[6]
K. C. Liu and R. Sunderraman. On representing indefinite and maybe information in relational databases: A generalization. In Proceedings of the Sixth International Conference on Data Engineering, Los Angeles, California, February 1990, pages 495--502, 1990.
[7]
K. C. Liu and R. Sunderraman. A generalized relational model for indefinite and maybe information. IEEE Transactions on Knowledge and Data Engineering, 3(1) :65--77, 1991.
[8]
P. Kreps M. Stonebraker, E. Wong and G. Held. The design and implementation of INGRES. A.C.M. Transactions on Database Systems, 1(3):189--222, 1976.
[9]
S. B. Navathe and R. Ahmed. TSQL -- a language interface for history databases. In Proceedings of the Conference on Temporal Aspects in Information Systems, pages 113--128, North Holland, 1987. AFCET.
[10]
S. B. Navathe and R. Ahmed. A temporal relational model and a query language. Information Sciences, 49(2):147--175, 1989.
[11]
R. Sadeghi. A database query language for operations on historical data. Ph.D. thesis, Dundee College of Technology, Dundee, Scotland, 1987.
[12]
N. L. Sarda. Algebra and query language for a historical data model. The Computer Journal, 33(1):11--18, 1990.
[13]
N. L. Sarda. Extensions to SQL for historical databases. IEEE Transactions on Knowledge and Data Engineering, 2(2):220--230, 1990.
[14]
R. Snodgrass. The temporal query language TQuel. In Proceedings of ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 204--212, 1984.
[15]
R. Snodgrass. The temporal query language TQuel. ACM Transactions on Database Systems, 12(2):247--298, 1987.
[16]
S. M. Sripada. A logical framework for temporal deductive databases. In Proceedings of the 14th VLDB Conference, Los Angeles, California, 1988, pages 171--182, 1988.
[17]
J. D. Ullman. Principles of Database and Knowledge-Base Systems, volume I and II. Computer Science Press, Rockville, Maryland, 1988.
Recommendations
Deductive database
Encyclopedia of Computer ScienceDeductive Databases formalize and extend relational databases. A deductive database (DDB) consists of a set of facts, a set of rules, and a set of integrity constraints. From the set of rules and the facts it is possible to derive new facts not ...
A Temporal Database Management System Implemented on top of a Conventional Database
SCCC '00: Proceedings of the XX International Conference of the Chilean Computer Science SocietyTemporal data models have proven to be convenient to specify applications, allowing the representation of the temporal evolution of data. Several temporal data models were proposed in the last 20 years with this purpose, but no commercial implementation ...
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
April 1997
314 pages
ISBN:0897919254
DOI:10.1145/2817460
- Conference Chair:
- Tom Cheatham,
- Program Chairs:
- Chrisila Pettey,
- Larry Dowdy,
- Jungsoon Yoo
Copyright © 1997 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 02 April 1997
Check for updates
Qualifiers
- Research-article
Conference
ACMSE '97
Acceptance Rates
Overall Acceptance Rate 502 of 1,023 submissions, 49%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 71Total Downloads
- Downloads (Last 12 months)27
- Downloads (Last 6 weeks)7
Reflects downloads up to 17 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in