A case for parameterized views and relational unification

On rules, procedure, caching and views in data base systems

SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data

HILOG: a foundation for higher-order logic programming

Journal of Logic Programming

Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)

Typed query languages for databases containing queries

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Parameterized View Definition and Recursive Relations

Proceedings of the Second International Conference on Data Engineering

The Case for Enhanced Abstract Data Types

VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases

Implementing Abstract Objects with Inheritance in Datalogneg

VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases

View Definitions with Parameters

ADBIS '95 Proceedings of the Second International Workshop on Advances in Databases and Information Systems

A Logic for Encapsulation in Object Oriented Languages

PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming

GQL: A Reasonable Complex SQL for Genomic Databases

BIBE '00 Proceedings of the 1st IEEE International Symposium on Bioinformatics and Biomedical Engineering