Logic for problem-solving
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
On the semantics of the relational data model
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
The semantic data model: a modelling mechanism for data base applications
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Principles of Database Systems
Principles of Database Systems
The logic of a relational data manipulation language
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Logic and Data Bases
Embedding expert knowledge and hypothetical data bases into a data base system
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
Specifying connections for a universal relation scheme database
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
TERM: An Approach to Include Time Dimension in the Entity-Relationship Model
ER '81 Proceedings of the Second International Conference on the Entity-Relationship Approach to Information Modeling and Analysis
A logical framework for the temporal semantics and natural-language querying of historical databases
A logical framework for the temporal semantics and natural-language querying of historical databases
LISP 1.5 Programmer's Manual
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Theory of Relational Databases
Theory of Relational Databases
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Computation-tuple sequences and object histories
ACM Transactions on Database Systems (TODS)
A temporally oriented data model
ACM Transactions on Database Systems (TODS)
A logical design methodology for relational databases using the extended entity-relationship model
ACM Computing Surveys (CSUR)
Dynamic functional dependencies and database aging
Journal of the ACM (JACM)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
Axiomatization and simplification rules for relational transactions
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Equivalence and optimization of relational transactions
Journal of the ACM (JACM)
A homogeneous relational model and query languages for temporal databases
ACM Transactions on Database Systems (TODS)
A transaction logic for database specification
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Time-by-Example Query Language for Historical Databases
IEEE Transactions on Software Engineering
Natural language querying of historical databases
Computational Linguistics
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
Using annotations to support multiple kinds of versioning in an object-oriented database system
ACM Transactions on Database Systems (TODS)
Temporal databases status and research directions
ACM SIGMOD Record - Directions for future database research & development
Evaluation of relational algebras incorporating the time dimension in databases
ACM Computing Surveys (CSUR)
Design of a temporal database for phlebitis
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Automatic deduction of temporal information
ACM Transactions on Database Systems (TODS)
On temporal modeling in the context of object databases
ACM SIGMOD Record
Separating semantics from representation in a temporal object database domain
CIKM '93 Proceedings of the second international conference on Information and knowledge management
On completeness of historical relational query languages
ACM Transactions on Database Systems (TODS)
Temporal databases: model design and commercialization prospects
ACM SIGMIS Database
Semantic assumptions and query evaluation in temporal databases
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
On the semantics of “now” in databases
ACM Transactions on Database Systems (TODS)
Handling infinite temporal data
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal deductive databases and infinite objects
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
On an algebra for historical relational databases: two views
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
The temporal query language TQuel
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
STCSP – structured temporal constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Schema versioning and database conversion techniques for bi-temporal databases
Annals of Mathematics and Artificial Intelligence
Temporal Interpolation of Spatially Dynamic Object
Geoinformatica
Designing DBMS support for the temporal dimension
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Extensions to SQL for Historical Databases
IEEE Transactions on Knowledge and Data Engineering
Formal Specification of Geographic Data Processing Requirements
IEEE Transactions on Knowledge and Data Engineering
Queries on Change in an Extended Relational Model
IEEE Transactions on Knowledge and Data Engineering
Temporal and Real-Time Databases: A Survey
IEEE Transactions on Knowledge and Data Engineering
Extending Existing Dependency Theory to Temporal Databases
IEEE Transactions on Knowledge and Data Engineering
Temporal Semantic Assumptions and Their Use in Databases
IEEE Transactions on Knowledge and Data Engineering
A Decision Model for Choosing the Optimal Level of Storage in Temporal Databases
IEEE Transactions on Knowledge and Data Engineering
Querying Continuous Time Sequences
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Integration of Time Versions into a Relational Database System
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Transactions in Relational Databases (Preliminary Report)
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Specification, Semantics, and Enforcement of Dynamic Database Constraints
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Interval Queries on Object Histories: Extended Abstract
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Historical Multi-Media Databases
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Using History Information to Process Delayed Database Updates
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Semantic Compression of Temporal Data
WAIM '01 Proceedings of the Second International Conference on Advances in Web-Age Information Management
Providing Time-Related Constraints for Conventional Database Systems
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
The Time Index: An Access Structure for Temporal Data
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Temporal Relational Algebra as Basis for Temporal Relational Completeness
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Support for Temporal Data by Complex Objects
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Temporal Knowledge Representation Model OSAM*/T and Its Query Language OQL/T
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
TOOA: A Temporal Object-Oriented Algebra
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
A logic interpreter to handle time and negation in logic data bases
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
A time-evolving data structure scalable between discrete and continuous attribute modifications
Computer Science in Perspective
Computational linguistics research at the University of Pennsylvania
Computational Linguistics
Time, tense and aspect in natural language database interfaces
Natural Language Engineering
IEEE Transactions on Knowledge and Data Engineering
Semantics of temporal queries and temporal data
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Temporal summary table management and graphic interface
SSDBM'1990 Proceedings of the 5th international conference on Statistical and Scientific Database Management
Reduce, reuse, recycle: practical approaches to schema integration, evolution and versioning
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
ICB-index: a new indexing technique for continuous time sequences
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
An efficient denotational semantics for natural language database queries
NLDB'07 Proceedings of the 12th international conference on Applications of Natural Language to Information Systems
Hi-index | 0.00 |
The concept of a historical database is introduced as a tool for modeling the dynamic nature of some part of the real world. Just as first-order logic has been shown to be a useful formalism for expressing and understanding the underlying semantics of the relational database model, intensional logic is presented as an analogous formalism for expressing and understanding the temporal semantics involved in a historical database. The various components of the relational model, as extended to include historical relations, are discussed in terms of the model theory for the logic ILs, a variation of the logic IL formulated by Richard Montague. The modal concepts of intensional and extensional data constraints and queries are introduced and contrasted. Finally, the potential application of these ideas to the problem of natural language database querying is discussed.