Dynamic functional dependencies and database aging
Journal of the ACM (JACM)
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
Monitoring dynamic integrity constraints based on temporal logic
Information Systems
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A temporal relational model and a query language
Information Sciences: an International Journal
Inadequacy of interval timestamps in temporal databases
Information Sciences: an International Journal
Temporal specifications of object behavior
MFDBS 91 Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
Introduction to object-oriented databases
Introduction to object-oriented databases
Temporal databases: theory, design, and implementation
Temporal databases: theory, design, and implementation
On completeness of historical relational query languages
ACM Transactions on Database Systems (TODS)
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
On the feasibility of checking temporal integrity constraints
Journal of Computer and System Sciences - Special issue on selected papers presented at the 24th annual ACM symposium on the theory of computing (STOC '92)
Logical design for temporal databases with multiple granularities
ACM Transactions on Database Systems (TODS)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Extensions to SQL for Historical Databases
IEEE Transactions on Knowledge and Data Engineering
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
Extending Existing Dependency Theory to Temporal Databases
IEEE Transactions on Knowledge and Data Engineering
Constraint-Generating Dependencies
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Design of Temporal Relational Databases Based on Dynamic and Temporal Functional Dependencies
Proceedings of the International Workshop on Temporal Databases: Recent Advances in Temporal Databases
Functional Dependencies Generalized for Temporal Databases that Include Object-Identity
ER '93 Proceedings of the 12th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Semantics of Time-Varying Attributes and their Use for Temporal Database Design
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Discovering roll-up dependencies
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
Searching for dependencies at multiple abstraction levels
ACM Transactions on Database Systems (TODS)
IEEE Transactions on Knowledge and Data Engineering
Trends in Databases: Reasoning and Mining
IEEE Transactions on Knowledge and Data Engineering
Temporal Dependencies Generalized for Spatial and Other Dimensions
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
CASE Tool Support for Temporal Database Design
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Using an Ordered Key Attribute in Database Design
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming
On a problem of Fagin concerning multivalued dependencies in relational databases
Theoretical Computer Science
On the logical implication of multivalued dependencies with null values
CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
On inferences of full hierarchical dependencies
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Full hierarchical dependencies in fixed and undetermined universes
Annals of Mathematics and Artificial Intelligence
Data & Knowledge Engineering
Optimizing away joins on data streams
SSPS '08 Proceedings of the 2nd international workshop on Scalable stream processing system
Constraint acquisition you can chase but you cannot find
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Appropriate reasoning about data dependencies in fixed and undetermined universes
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
When data dependencies over SQL tables meet the logics of paradox and S-3
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the role of the complementation rule for data dependencies over incomplete relations
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
A uniform framework for temporal functional dependencies with multiple granularities
SSTD'11 Proceedings of the 12th international conference on Advances in spatial and temporal databases
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
On multivalued dependencies in fixed and undetermined universes
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Temporal optimisations and temporal cardinality in the tOWL language
International Journal of Web Engineering and Technology
Temporal constraints with multiple granularities in smart homes
Designing Smart Homes
Characterisations of multivalued dependency implication over undetermined universes
Journal of Computer and System Sciences
ACM Transactions on Database Systems (TODS)
Appropriate inferences of data dependencies in relational databases
Annals of Mathematics and Artificial Intelligence
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
On the logical implication of multivalued dependencies with null values
CATS '06 Proceedings of the Twelfth Computing: The Australasian Theory Symposium - Volume 51
| Hi-index | 0.01 |
Temporal functional dependencies (TFD) are defined for temporal databases that include object identity. It is argued that object identity can overcome certain semantic diffuculties with existing temporal relational data models. Practical applications of TFDs in object bases are discussed. Reasoning about TFDs is at the center of this paper. It turns out that the distinction between acyclic and cyclic schemas is significant. For acyclic schemas, a complete axiomatization for finite implication is given and an algorithm for deciding finite implication provided. The same axiomatization is proven complete for unrestricted implication in unrestricted schemas, which can be cyclic. An interesting result is that there are cyclic schemas for which unrestricted and finite implication do not coincide. TFDs relate and extend some earlier work on dependency theory in temporal databases. Throughout this paper, the construct of TFD is compared with the notion of temporal FD introduced by Wang et al. (1997). A comparison with other related work is provided at the end of the article.