New hope on data models and types: report of an NSF-INRIA workshop
ACM SIGMOD Record - Directions for future database research & development
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
New data models and languages—the challenge
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Towards a unified visual database access
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
On implementing SchemaLog—a database programming language
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Using schematically heterogeneous structures
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
A Graphical Query Language: VISUAL and Its Query Processing
IEEE Transactions on Knowledge and Data Engineering
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A Temporal Query Language for OLAP: Implementation and a Case Study
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Time in multidimensional databases
Multidimensional databases
Relational languages for metadata integration
ACM Transactions on Database Systems (TODS)
Hi-index | 0.01 |
We argue that predicate calculus is not sufficient as a basis for the next generation of database languages. To fill in the gap, we propose a novel logic, called HiLog, which can be viewed as an extension of predicate calculus. The distinctive feature of HiLog is its higher-order syntax which makes it possible to manipulate the database with greater ease. However, the semantics of this logic is essentially first-order, which makes it possible to define a resolution-based proof procedure for HiLog. We then go on and compare HiLog with two other well-known database languages, COL and LDL, arguing that HiLog eliminates some of the problems in these languages caused by their second-order semantics. Finally, we discuss the utility of HiLog as a platform for implementing object-oriented database languages.