53 search results - page 1 / 11 » The ramification problem in temporal databases: Concurrent e... |
IJIS
2010
13 years 8 months ago
2010
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
DKE
2006
13 years 11 months ago
2006
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
ICTAI
2002
IEEE
14 years 3 months ago
2002
IEEE
KBSE
2003
IEEE
14 years 4 months ago
2003
IEEE
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...
IJFCS
2006
13 years 11 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...