PFL: An Active Functional DBPL.
Proceedings of the Active Rules in Database Systems, 1999
Formal Foundations for Optimising Aggregation Functions in Database Programming Languages.
Proceedings of the Database Programming Languages, 6th International Workshop, 1997
Algebraic Query Optimisation for Database Programming Languages
VLDB J., 1996
A Formal Semantics for an Active Functional DBPL.
J. Intell. Inf. Syst., 1996
Manipulation Operations for an Interval-Extended Relational Model.
Data Knowl. Eng., 1995
Extending a Functional DBPL with ECA-rules.
Proceedings of the Rules in Database Systems, Second International Workshop, 1995
Extending Functional Database Languages to Update Completeness.
Proceedings of the Advances in Databases, 13th British National Conference on Databases, 1995
Implementation of Update Operations for Interval Relations.
Comput. J., 1994
Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages.
Proceedings of the VLDB'94, 1994
A Functional Approach to Database Updates.
Inf. Syst., 1993
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages.
Proceedings of the 19th International Conference on Very Large Data Bases, 1993
Default Databases and Incomplete Information.
Comput. J., 1991
A Functional Programming Approach to Deductive Databases.
Proceedings of the 17th International Conference on Very Large Data Bases, 1991
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991
TriStap - An Investigation into the Implementation and Exploitation of Binary Relational Storage Structures.
Proceedings of the 8th Bristish National Conference on Databases (BNCOD-8), 1990
The Implementation of the Exegesis System.
Comput. J., 1988
Guarded Default Databases: A Prototype Implementation.
Proceedings of the Prolog and Databases, Implementations and New Directions. , 1988
An Implementation Of A Constraint Enforcement System.
Proceedings of the Fifth British National Conference on Databases (BNCOD 5), 1986