111 search results - page 1 / 23 » Deductive Database Languages: Problems and Solutions |
CSUR
1999
13 years 4 months ago
1999
DAGSTUHL
1998
13 years 6 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
KI
2004
Springer
13 years 10 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...
DEDUCTIVE
1994
13 years 6 months ago
1994
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...
CIKM
1994
Springer
13 years 9 months ago
1994
Springer
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need...