The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
Theseus—a programming language for relational databeses
ACM Transactions on Database Systems (TODS)
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
A very high level programming language for data processing applications
Communications of the ACM
Specifying queries as relational expressions: the SQUARE data sublanguage
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
An ALGOL-based associative language
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
An algebra of quotient relations
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
An overview of nonprocedural languages
Proceedings of the ACM SIGPLAN symposium on Very high level languages
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
A survey of languages for stating requirements for computer-based information systems
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
An information base for procedure independent design of information systems
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Query-by-example: a data base language
IBM Systems Journal
SEQUEL 2: a unified approach to data definition, manipulation, and control
IBM Journal of Research and Development
Axioms and theorems for a theory of arrays
IBM Journal of Research and Development
A data base sublanguage founded on the relational calculus
SIGFIDET '71 Proceedings of the 1971 ACM SIGFIDET (now SIGMOD) Workshop on Data Description, Access and Control
| Hi-index | 0.00 |
The Familial Specification Language is a set theoretic and functional language providing a unified approach to the less-procedural design of database application systems. The language is proposed to be both a database language and an application program specification language. The unique data structure employed, the family of sets, provides the designer with a unified framework, both to model and maintain data, and to algebraically specify the application programs without looping or branching, and with no side effects. Using the same data structure in both the data model and the problem specification creates a natural interface between the database and the application programs. Special emphasis is placed on aggregation and classification, the major problems is business data processing.