A requirements modeling language and its logic
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Monitoring dynamic integrity constraints based on temporal logic
Information Systems
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
A transaction logic for database specification
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Specifying dynamic and deonitc integrity constraints
Data & Knowledge Engineering
Rule representation and management in conceptbase
ACM SIGMOD Record
Object oriented design with applications
Object oriented design with applications
Integrity checking for multiple updates
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Dynamic constraints and database evolution
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Constraint Analysis: A Design Process for Specifying Operations on Objects
IEEE Transactions on Knowledge and Data Engineering
Proceedings of the Seventh International Conference on Data Engineering
Specification, Semantics, and Enforcement of Dynamic Database Constraints
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A Modal System of Algebras for Database Specification and Query/Update Language Support
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Formal Specification of Object Systems
TAPSOFT '91 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)
SUPER - Visual Interaction with an Object-Based ER Model
ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Hi-index | 0.00 |