Sciweavers

31 search results - page 3 / 7
» deductive 1994
Sort
View
77
Voted
VL
1994
IEEE
110views Visual Languages» more  VL 1994»
15 years 2 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
88
Voted
DEDUCTIVE
1994
119views Database» more  DEDUCTIVE 1994»
14 years 11 months ago
Determining Correct View Update Translations via Query Containment
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
Anthony Tomasic
74
Voted
ISMB
1994
14 years 11 months ago
Prototyping a Genetics Deductive Database
Weare developing a laboratory notebook system knownas the Genetics Deductive Database. Currently our prototype provides storage for biological facts andrules withflexible accessvi...
Catherine Hearne, Zhan Cui, Simon Parsons, Saki Ha...
ISMB
1994
14 years 11 months ago
Using Interval Logic for Order Assembly
Temporallogic, in particular, interval logic has been used to represent genomemapsand to assist genome mapconstructions. However,interval logic itself appears to be bruited in its...
Zhan Cui
VLDB
1994
ACM
102views Database» more  VLDB 1994»
15 years 2 months ago
Reasoning About Spatial Relationships in Picture Retrieval Systems
In this paper, we consider various spatial relationships that are of general interest in pictorial database systems. We present a set of rules that allow us to deduce new relation...
A. Prasad Sistla, Clement T. Yu, R. Haddad