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}
}

• W. Chen, M. Kifer, D. Warren
• Published 1989
• Computer Science
• IEEE Data Eng. Bull.

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

View Paper

Save to Library

Create Alert

Cite

Launch Research Feed