Sciweavers

607 search results - page 39 / 122
» Unifying Exact Completions
Sort
View
STEP
2003
IEEE
15 years 4 months ago
Improvement of Test Data by Measuring SQL Statement Coverage
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
María José Suárez Cabal, Javi...
ICDT
2003
ACM
91views Database» more  ICDT 2003»
15 years 4 months ago
Reformulation of XML Queries and Constraints
We state and solve the query reformulation problem for XML publishing in a general setting that allows mixed (XML and relational) storage for the proprietary data and exploits redu...
Alin Deutsch, Val Tannen
CONTEXT
2001
Springer
15 years 3 months ago
Practical Context Transformation for Information System Interoperability
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...
Holger Wache, Heiner Stuckenschmidt
DEXAW
2000
IEEE
149views Database» more  DEXAW 2000»
15 years 3 months ago
On 3D Topological Relationships
This paper presents an integrated study on possible topological relationship between multidimensional simple objects in 0,1,2 and 3 D space. The formal categorisation of spatial r...
Sisi Zlatanova
ICALP
2000
Springer
15 years 2 months ago
Graph Transformations on the UML Metamodel
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
Martin Gogolla