Abstract | ||
---|---|---|
We propose a method for reusing and modifying a deductive database. The needfor such techniques occurs when new rulebased applications differ only slightly fromexisting ones or when an application is to be incrementally updated. Such techniquesare particularly important when reprogramming is expensive or unreliable. In order tofacilitate reuse, we extend deductive database systems by the concept of predicate substitution.In this way, during query evaluation, not only variables, but... |
Year | DOI | Venue |
---|---|---|
1997 | 10.1006/jcss.1997.1456 | J. Comput. Syst. Sci. |
Keywords | Field | DocType |
predicate substitution,modifying rulebases | Programming language,Deductive database,EXPTIME,Reuse,Computer science,P,Proof theory,Model theory,Predicate (grammar),Datalog | Journal |
Volume | Issue | ISSN |
54 | 1 | Journal of Computer and System Sciences |
Citations | PageRank | References |
2 | 0.39 | 14 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anthony J. Bonner | 1 | 733 | 422.63 |
Tomasz Imielinski | 2 | 11509 | 3016.59 |