SYSTEM/U: a database system based on the universal relation assumption
ACM Transactions on Database Systems (TODS)
The partition model: a deductive database model
ACM Transactions on Database Systems (TODS)
PIQUE: A relational query language without relations
Information Systems
Database states and their tableaux
ACM Transactions on Database Systems (TODS)
On the foundations of the universal relation model
ACM Transactions on Database Systems (TODS)
A characterization of globally consistent databases and their correct access paths
ACM Transactions on Database Systems (TODS)
Partition semantics for relations
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Updating databases in the weak instance model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A transient hypergraph-based model for data access
ACM Transactions on Information Systems (TOIS)
Updating relational databases through weak instance interfaces
ACM Transactions on Database Systems (TODS)
View updates in a semantic data modelling paradigm
ADC '01 Proceedings of the 12th Australasian database conference
A Partition Model Approach to Updating Universal Scheme Interfaces
IEEE Transactions on Knowledge and Data Engineering
View Updatability Based on the Models of a Formal Specification
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Fibrations and universal view updatability
Theoretical Computer Science
Hi-index | 0.00 |