Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
Dynamic sets and their application in VDM
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Semantics of query languages for network databases
ACM Transactions on Database Systems (TODS)
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
| Hi-index | 0.00 |