4743 search results - page 589 / 949 » The PlusCal Algorithm Language |
139
click to vote
VLDB
1994
ACM
15 years 6 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
126
Voted
VLDB
1994
ACM
15 years 6 months ago
1994
ACM
Physical data independence is touted as a central feature of modern database systems. Both relational and object-oriented systems, however, force users to frame their queries in t...
132
click to vote
VLDB
1992
ACM
15 years 6 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
SIGMOD
1990
ACM
15 years 6 months ago
1990
ACM
The role of database knowledge 1susually limited to the evaluation of data queries In this paper we argue that when this knowledge 1sof substantial volume and complexity, there 1s...
119
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...