HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases

@inproceedings{Chen1989HILOGAH,
  title={HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases},
  author={Qiming Chen and Wesley W. Chu},
  booktitle={DOOD},
  year={1989}
}
A formal framework of a strongly typed logic programming language with high-order terms (HILOG) is developed which extends Logic Programming (LP) from First-Order Logic (FOL) and which generalizes deductive databases to handle non-normalized relations. To remedy the limitations of current approaches by treating complex objects as function terms of the FOL, we reformulate the key Logic Programming (LP) notions through the introduction of appropriate mathematical concepts such as partial… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 18 CITATIONS

The Relationlog system prototype

  • Softw., Pract. Exper.
  • 2001
VIEW 3 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Deductive Database Languages: Problems and Solutions

  • ACM Comput. Surv.
  • 1999
VIEW 2 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Derived types in semantic association discovery

  • Journal of Intelligent Information Systems
  • 2009
VIEW 1 EXCERPT
CITES BACKGROUND

Storing Graphic Data in Databases

VIEW 1 EXCERPT
CITES BACKGROUND

Integration of semistructured data with partial and inconsistent information

  • Proceedings. IDEAS'99. International Database Engineering and Applications Symposium (Cat. No.PR00265)
  • 1999
VIEW 1 EXCERPT
CITES BACKGROUND

On CAD databases

  • Engineering Solutions for the Next Millennium. 1999 IEEE Canadian Conference on Electrical and Computer Engineering (Cat. No.99TH8411)
  • 1999