Sciweavers

ICDT
1997
ACM
133views Database» more  ICDT 1997»
13 years 9 months ago
A Formal Foundation for Distributed Workflow Execution Based on State Charts
This paper provides a formal foundation for distributed workfiow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for...
Dirk Wodtke, Gerhard Weikum
ICDT
1997
ACM
89views Database» more  ICDT 1997»
13 years 9 months ago
On Topological Elementary Equivalence of Spatial Databases
We consider spatial databases and queries definable using first-order logic and real polynomial inequalities. We are interested in topological queries: queries whose result only ...
Bart Kuijpers, Jan Paredaens, Jan Van den Bussche
ICDT
1997
ACM
95views Database» more  ICDT 1997»
13 years 9 months ago
Type-Consistency Problems for Queries in Object-Oriented Databases
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
Yasunori Ishihara, Hiroyuki Seki, Minoru Ito
ICDT
1997
ACM
74views Database» more  ICDT 1997»
13 years 9 months ago
Serializability of Nested Transactions in Multidatabases
Abstract. The correctness of nested transactions for multidatabases differs from that of at transactions in that, for nested transactions the execution order of siblings at each re...
Ugur Halici, Ismailcem Budak Arpinar, Asuman Dogac
ICDT
1997
ACM
88views Database» more  ICDT 1997»
13 years 9 months ago
Discovering All Most Specific Sentences by Randomized Algorithms
Dimitrios Gunopulos, Heikki Mannila, Sanjeev Saluj...
ICDT
1997
ACM
90views Database» more  ICDT 1997»
13 years 9 months ago
Adding Structure to Unstructured Data
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
Peter Buneman, Susan B. Davidson, Mary F. Fernande...
ICDT
1997
ACM
108views Database» more  ICDT 1997»
13 years 9 months ago
Incorporating User Preferences in Multimedia Queries
A “scoring rule” is an assignment of a value to every tuple (of varying sizes). This paper is concerned with the issue of how to modify a scoring rule to apply to the case whe...
Ronald Fagin, Edward L. Wimmers