The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
SEQUEL: A structured English query language
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
A database design methodology and tool for information systems
ACM Transactions on Information Systems (TOIS)
A federated architecture for information management
ACM Transactions on Information Systems (TOIS)
On first-order-logic databases
ACM Transactions on Database Systems (TODS)
Implementation concepts for an extensible data model and data language
ACM Transactions on Database Systems (TODS)
A framework to support an object-oriented view of existing engineering databases
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
An approach to the recursive retrieval problem in the relational database
Communications of the ACM
The 3DIS: an extensible object-oriented information management environment
ACM Transactions on Information Systems (TOIS)
The Object-Oriented Functional Data Language
IEEE Transactions on Software Engineering
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Semantics of query languages for network databases
ACM Transactions on Database Systems (TODS)
OFL: a functional execution model for object query languages
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Rule languages and internal algebras for rule-based optimizers
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
ISIS: interface for a semantic information system
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
Three principles of representation for semantic networks
ACM Transactions on Database Systems (TODS)
Rosolving conflicts in global storage design through replication
ACM Transactions on Database Systems (TODS)
ODM: an object oriented data model for design databases
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Guest Editor Introduction: Functional Approach to Intelligent Information Systems
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
The Evolving Role of Constraints in the Functional Data Model
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
The Functional Data Model as the Basis for an Enriched Database Query Language
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
An access path model for physical database design
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
The network query language NOAH
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
IFO: a formal semantic database model
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
The format model: a theory of database organization
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Relational algebras, logic, and functional programming
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Federated databases and systems: part I --- a tutorial on their data sharing
The VLDB Journal — The International Journal on Very Large Data Bases
Heterogeneous Databases: Proliferations, Issues, and Solutions
IEEE Transactions on Knowledge and Data Engineering
Extensions to Query Languages for Graph Traversal Problems
IEEE Transactions on Knowledge and Data Engineering
UNIBASE - An Integrated Access to Databases
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Specification, Semantics, and Enforcement of Dynamic Database Constraints
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Query Optimization by Stored Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
XXL - A Library Approach to Supporting Efficient Implementations of Advanced Database Queries
Proceedings of the 27th International Conference on Very Large Data Bases
On the Algebraic Specification of Databases
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
LAURA: A Formal Data Model and her Logical Design Methodology
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
An Object Algebra for the ODMG Standard
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
WCRC: An ANSI SPARC machine architecture for data base management
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
A practical functional programming system for databases
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
The use of data type information in an interactive database environment
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Modeling, querying and reasoning about OLAP databases: a functional approach
Proceedings of the 8th ACM international workshop on Data warehousing and OLAP
Typed functional query languages with equational specifications
Proceedings of the 14th ACM international conference on Information and knowledge management
Final report of the ANSI/X3/SPARC DBS-SG relational database task group
ACM SIGMOD Record
The problem of multiple paths in a database schema
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Hit data model data bases from the functional point of view
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
DSIS - a database system with interrelational semantics
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
GridDB: a data-centric overlay for scientific grids
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
A federated architecture for database systems
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Complexity of higher-order queries
Proceedings of the 14th International Conference on Database Theory
Functions in information systems
ACM SIGMIS Database
A familial specification language for database application systems
Computer Languages
| Hi-index | 0.02 |
An applicative language based upon recent ideas by John Backus has been developed. The language provides a powerful formalism for the expression of complex database queries. Though currently implemented with an interface to a CODASYL system, the language employs a sufficiently general data model that use with other database management systems is possible. This paper describes the language through a number of examples and outlines its implementation.