73 search results - page 3 / 15 » The CORAL Deductive Database System |
ENTCS
2011
13 years 2 months ago
2011
EDBT
1990
ACM
13 years 11 months ago
1990
ACM
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...
JAR
2000
13 years 7 months ago
2000
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...
PARLE
1993
13 years 11 months ago
1993
: 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...
VL
1994
IEEE
13 years 11 months ago
1994
IEEE
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 ...