Computer
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
On the modes and meaning of feedback to transaction designers
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
ODE (Object Database and Environment): the language and the data model
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Automatic verification of database transaction safety
ACM Transactions on Database Systems (TODS)
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
The ObjectStore database system
Communications of the ACM
Integrity checking for multiple updates
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
A Formal System for Reasoning about Programs Accessing a Relational Database
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation of integrity constraints and views by query modification
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Object-Oriented Databases: Definition and Research Directions
IEEE Transactions on Knowledge and Data Engineering
An Effective Method for Integrity Constraint Simplification
Proceedings of the Fourth International Conference on Data Engineering
Integrity Constraint Reformulation for Efficient Validation
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Enforcing Inclusion Dependencies and Referencial Integrity
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Ode as an Active Database: Constraints and Triggers
VLDB '91 Proceedings of the 17th 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
Database research at AT&T Bell Laboratories
ACM SIGMOD Record
A new perspective on rule support for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
The Evolving Role of Constraints in the Functional Data Model
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Managing Reference: Ensuring Referential Integrity of Ontologies for the Semantic Web
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Expressing Constraint Models in Object Oriented Data Using UML and ODL
IWDC '02 Proceedings of the 4th International Workshop on Distributed Computing, Mobile and Wireless Computing
Ode as an Active Database: Constraints and Triggers
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
An Abstract Database Machine for Cost Driven Design of Object-Oriented Database Schemas
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Nested Transactions with Integrity Constraints
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
A Flexible Cost Model for Abstract Object-Oriented Database Schemas
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Design and implementation of an extended relationship semantics in an ODMG-compliant OODBMS
Journal of Systems and Software
Automatic Maintenance of Association Invariants
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Overview and Evaluation of Constraint Validation Approaches in Java
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Middleware support for adaptive dependability
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
Middleware support for adaptive dependability
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
Runtime checking for program verification
RV'07 Proceedings of the 7th international conference on Runtime verification
Optimising abstract object-oriented database schemas
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Hi-index | 0.00 |