Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
Modeling complex structures in object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Objects, object types and object identification
Categorical methods in computer science with aspects from topology
The expressiveness of a family of finite set languages
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Subtyping in OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Tractable query languages for complex object databases
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the expressive power of database queries with intermediate types
Journal of Computer and System Sciences
Structural recursion as a query language
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principles of Database Systems
Principles of Database Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Subtyping in OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
New data models and languages—the challenge
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards tractable algebras for bags
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Safety and translation of calculus queries with scalar functions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
On the power of algebras with recursion
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Languages for relational databases over interpreted structures
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
Querying and Updating the File
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Algebraic query optimisation for database programming languages
The VLDB Journal — The International Journal on Very Large Data Bases
Hi-index | 0.00 |