Sciweavers

70 search results - page 3 / 14
» The Deductive Database System LDL
Sort
View
EDBT
1990
ACM
108views Database» more  EDBT 1990»
13 years 9 months ago
Deductive Databases - Theory Meets Practice
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
Carlo Zaniolo
JAR
2000
97views more  JAR 2000»
13 years 5 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
PARLE
1993
13 years 9 months ago
Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive Databases
: An arithmetic approach, such as the Level-Finding method described in this paper for evaluating linear recursive queries in deductive database systems provides great potential fo...
Jerome Robinson, Shutian Lin
VL
1994
IEEE
110views Visual Languages» more  VL 1994»
13 years 9 months ago
Pictorial Deduction in Spatial Information Systems
Though visual access to spatial database systems has attracted much attention in recent years, there have only few deductive visual languages for spatial information systems been ...
Bernd Meyer
KRDB
1996
123views Database» more  KRDB 1996»
13 years 6 months ago
Flexible Query-Answering Systems Modelled in Metalogic Programming
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
Troels Andreasen, Henning Christiansen