70 search results - page 4 / 14 » The Deductive Database System LDL |
ISMB
1994
13 years 7 months ago
1994
Weare developing a laboratory notebook system knownas the Genetics Deductive Database. Currently our prototype provides storage for biological facts andrules withflexible accessvi...
FOIKS
2008
Springer
13 years 7 months ago
2008
Springer
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
KI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
ICLP
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
SWAP
2007
13 years 7 months ago
2007
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...