Corpus ID: 34723836

HiLog as a Platform for Database Languages

@article{Chen1989HiLogAA,
  title={HiLog as a Platform for Database Languages},
  author={W. Chen and M. Kifer and D. Warren},
  journal={IEEE Data Eng. Bull.},
  year={1989},
  volume={12},
  pages={37-44}
}
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… Expand
54 Citations

Tables and Topics from this paper

Relational languages for metadata integration
  • 62
  • Highly Influenced
  • PDF
Advances in Databases and Information Systems
  • J. Eder
  • Computer Science
  • Workshops in Computing
  • 1996
  • 58
  • Highly Influenced
  • PDF
Higher-Order Horn Logic Programming
  • 28
  • Highly Influenced
  • PDF
Extensional Higher-Order Logic Programming
  • 19
  • Highly Influenced
  • PDF
A Uniform Data Model for Relational Data and Meta-Data Query Processing
  • 14
  • Highly Influenced
  • PDF
Implementing a Logic System for testing functional independent normal form in relational databases
  • 4
A Graphical Query Language: VISUAL
  • PDF
An object-oriented deductive language
  • Y. Caseau
  • Computer Science
  • Annals of Mathematics and Artificial Intelligence
  • 2005
  • 4
...
1
2
3
4
5
...