9 search results - page 1 / 2 » Implementing Set-Oriented Production Rules as an Extension t... |
VLDB
1991
ACM
13 years 7 months ago
1991
ACM
This paper describes the implementation of a set-oriented database production rule language proposed in earlier papers. Our implementation uses the extensibility features of the St...
SIGMOD
1992
ACM
13 years 8 months ago
1992
ACM
This paper describes the Query Rewrite facility of the Starburst extensible database system, a novel phase of query optimization. We present a suite of rewrite rules used in Starb...
RULEML
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
OOPSLA
2010
Springer
13 years 2 months ago
2010
Springer
Inclusion-based points-to analysis provides a good trade-off between precision of results and speed of analysis, and it has been incorporated into several production compilers inc...
LOGCOM
2010
13 years 2 months ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...