Typed query languages for databases containing queries

Extending a database system with procedures

ACM Transactions on Database Systems (TODS)

Extending relational algebra and relational calculus with set-valued attributes and aggregate functions

ACM Transactions on Database Systems (TODS)

Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I

Converting nested algebra expressions into flat algebra expressions

ACM Transactions on Database Systems (TODS)

Relations with relation names as arguments: algebra and calculus

PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

HILOG: a foundation for higher-order logic programming

Journal of Logic Programming

On the power of algebras with recursion

SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data

Towards a theory of spatial database queries (extended abstract)

PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

A Grammar-Based Approach Towards Unifying Hierarchical Data Models

SIAM Journal on Computing

Normal forms and conservative extension properties for query languages over collection types

Journal of Computer and System Sciences

Reflective programming in the relational algebra

Journal of Computer and System Sciences

Bounded fixpoints for complex objects

Theoretical Computer Science

Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions

Journal of the ACM (JACM)

Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level

QUEL as a data type

SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data

The power of languages for the manipulation of complex values

The VLDB Journal — The International Journal on Very Large Data Bases