Search
Now showing items 1-3 of 3
Data Access Scheduling in Firm Real-Time Database Systems
(1992)
A major challenge addressed by conventional database systems has been to efficiently implement the transaction model, which provides the properties of atomicity, serializability, and permanence. Real-time applications have ...
Building Decision Support Systems That Use Operations Research Models as Database Applications
(1992)
In this paper we address the problem of building decision support systems that make use of multiple operations research models as database application. The motivation for developing applications in a database environment ...
WFS + Branch and Bound = Stable Models
(1992)
Through the semantics of non-monotonic logic programming has been studied extensively, relatively little work has been done on operational aspects of these semantics. In this paper, we develop techniques to compute the ...