The AoPA library allows one to encode Algebra of Programming (BdM97) style program derivation, both functional and relational, in Agda. Since the 90s, the program derivation community has been ...

Inspired by the simplicity and elegance of both the Scheme programming language, and the relational algebra formal system, Coddie is an interpreter with Lisp-like syntax that presents in a succinct ...

Abstract: In this paper we present a theory of relational database systems based on the partition lattice, which represents a new mathematical approach to the structure of relational database systems.

(1) The branch of mathematics that deals with relations; for example, AND, OR, NOT, IS and CONTAINS. (2) In a relational database, a collection of rules for dealing with tables; for example, JOIN, ...

Abstract: We give a language-independent characterization of the expressive power of the relational algebra on finite sets of source-target relation instance pairs. The associated decision problem is ...

ABSTRACT: This paper reviews the research literature with respect to the contributions to the students’ difficulties in their algebra learning in order to understand the students’ difficulties in ...