978 search results - page 56 / 196 » Synthesizing Database Transactions |
VLDB
1989
ACM
14 years 2 months ago
1989
ACM
Managingtransactionswith real-timerequirements and disk residentdata presentsmany new problems.In thispaperweaddressseveral:How canwe scheduletransactionswith deadlines?How do the...
DEXAW
1998
IEEE
14 years 2 months ago
1998
IEEE
Wireless communications support a new form of data delivery in which servers broadcast data to a number of clients that listen to the broadcast channel and retrieve data of intere...
SIGMOD
1995
ACM
14 years 1 months ago
1995
ACM
Many papers have examined how to e ciently export a materialized view but to our knowledge none have studied how to e ciently import one. To import a view, i.e., to install a stre...
DATASCIENCE
2008
13 years 10 months ago
2008
Industrial and scientific datasets have been growing enormously in size and complexity in recent years. The largest transactional databases and data warehouses can no longer be ho...
TACAS
1999
Springer
14 years 2 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...