Also, our precise definition of type inheritance allows the precise formulation of a number of important, new database query language
Datalog is a well-known database query language
that uses disjunction-free logic programs, where no functions are allowed [Ullman 1989; Ceri et al.
As a result, companies have invested in technical-driven database query languages
(tools) to find and refine the data "gold." Unfortunately, the quantity and quality of the information uncovered by these tools provides questionable business value because of the narrow analytical depth and breadth and the limited number of subject areas and departments these tools attempt to serve.
On the completeness of temporal database query languages
. In Proceedings of the First International Conference on Temporal Logic (ICTL'94, Bonn, July).