Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Building an object-oriented database system: the story of 02
Building an object-oriented database system: the story of 02
Implementation of a graph-based data model for complex objects
ACM SIGMOD Record
Gram: a graph data model and query languages
ECHT '92 Proceedings of the ACM conference on Hypertext
Evolving algebras 1993: Lipari guide
Specification and validation methods
Annotated bibliography on evolving algebras
Specification and validation methods
GraphLog: a visual formalism for real life recursion
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Temporal Query Languages: A Survey
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Formal Specification of Active Database Functionality: A Survey
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
Temporal Object-Oriented Data Model for the Schema Modification
Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA)
A Spatial Data Model and a Topological Sweep Algorithm for Map Overlay
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
A Probabilistic Spatial Data Model
DDEXA '93 Proceedings of the 4th International Conference on Database and Expert Systems Applications
Reasoning about accountability in protocols for electronic commerce
SP '95 Proceedings of the 1995 IEEE Symposium on Security and Privacy
| Hi-index | 0.00 |
Many complex and dynamic database applications such as product modeling and negotiation monitoring require a number of features that have been adopted in semantic models and databases such as active rules, constraints, inheritance, etc. Unfortunately, each feature has largely been considered in isolation. Furthermore, in a commercial negotiation, participants staking their financial well-beings will never accept a system they cannot gain a precise behavioral understanding of. We attack these problems with a rich and extensible database model, evolving databases, with a clear and precise semantics based on evolving algebras [3]. We also briefly describe a prototype implementation of the model [10].