A Database Interface for Complex Objects

We describe a formal design for a logical query language using /-terms as data structures to interact effectively and efficiently with a relational database. The structure of /-terms provides an adequate representation for so-called complex objects. They generalize conventional terms used in logic p... View More