2229 search results - page 141 / 446 » The Case for Grounding Databases |
152
click to vote
SARA
2007
Springer
15 years 11 months ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
150
click to vote
DEXAW
2006
IEEE
15 years 11 months ago
2006
IEEE
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...
140
click to vote
ADBIS
2004
Springer
15 years 11 months ago
2004
Springer
Business rules are often implemented as stored procedures in a database server. These procedures are triggered by various clients, but the execution load is fully centralized on th...
143
Voted
PODS
1997
ACM
15 years 9 months ago
1997
ACM
We consider the problem of indexing general database workloads (combinations of data sets and sets of potential queries). We de ne a framework for measuring the eciency of an ind...
125
Voted
ADBIS
1997
Springer
15 years 9 months ago
1997
Springer
Efficient evaluation strategies for declarative updates have rarely been investigated. Due to possible dependencies between the resulting database state and the order in which re...