110 search results - page 2 / 22 » A Functional Programming Approach to Deductive Databases |
134
Voted
DOOD
1991
Springer
15 years 4 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
137
Voted
SNPD
2003
15 years 2 months ago
2003
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
101
click to vote
KI
2004
Springer
15 years 6 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...
111
Voted
DEDUCTIVE
1994
15 years 2 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...
125
Voted
CORR
2002
Springer
15 years 28 days ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...