An Implementation Of A Constraint Enforcement System. - Carol Small (BNCOD, 1986)

Guarded Default Databases: A Prototype Implementation. - Carol Small (Prolog and Databases, 1988)

The Implementation of the Exegesis System. - Carol Small (Comput. J., 1988)

TriStap - An Investigation into the Implementation and Exploitation of Binary Relational Storage Structures. - Peter J. H. King; Mir Derakhshan; Alexandra Poulovassilis; Carol Small (BNCOD, 1990)

An Overview of PFL. - Carol Small; Alexandra Poulovassilis (DBPL, 1991)

A Functional Programming Approach to Deductive Databases. - Alexandra Poulovassilis; Carol Small (VLDB, 1991)

Default Databases and Incomplete Information. - Peter J. H. King; Carol Small (Comput. J., 1991)

A Domain-theoretic Approach to Integrating Functional and Logic Database Languages. - Alexandra Poulovassilis; Carol Small (VLDB, 1993)

A Functional Approach to Database Updates. - Carol Small (Inf. Syst., 1993)

Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages. - Alexandra Poulovassilis; Carol Small (VLDB, 1994)

Implementation of Update Operations for Interval Relations. - Nikos A. Lorentzos; Alexandra Poulovassilis; Carol Small (Comput. J., 1994)

Extending Functional Database Languages to Update Completeness. - David R. Sutton; Carol Small (BNCOD, 1995)

Extending a Functional DBPL with ECA-rules. - Swarup Reddi; Alexandra Poulovassilis; Carol Small (Rules in Database Systems, 1995)

Manipulation Operations for an Interval-Extended Relational Model. - Nikos A. Lorentzos; Alexandra Poulovassilis; Carol Small (Data Knowl. Eng., 1995)

A Formal Semantics for an Active Functional DBPL. - Alexandra Poulovassilis; Swarup Reddi; Carol Small (J. Intell. Inf. Syst., 1996)

Algebraic Query Optimisation for Database Programming Languages - Alexandra Poulovassilis; Carol Small (VLDB J., 1996)

Formal Foundations for Optimising Aggregation Functions in Database Programming Languages. - Alexandra Poulovassilis; Carol Small (DBPL, 1997)

PFL: An Active Functional DBPL. - Swarup Reddi; Alexandra Poulovassilis; Carol Small (Active Rules in Database Systems, 1999)