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 ...
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...
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...
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...
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...