Sciweavers

843 search results - page 43 / 169
» Generic Schema Mappings
Sort
View
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
15 years 3 months ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring
OODBS
2000
147views Database» more  OODBS 2000»
15 years 1 months ago
Towards a Unified Query-by-Example (UQBE): UML as a Basis for a Generic Graphical Query Language
A generic graphical query language for ODMG-compliant object databases is proposed, based on the ideas of Query-By-Example, and using UML-like diagrams as schema notation. Ease of ...
Miguel Ángel Sicilia Urbán, Elena Ga...
MEMOCODE
2010
IEEE
14 years 7 months ago
A flexible schema for generating explanations in lazy theory propagation
Abstract--Theory propagation in Satisfiability Modulo Theories is crucial for the solver's performance. It is important, however, to pay particular care to the amount of deduc...
Roberto Bruttomesso, Edgar Pek, Natasha Sharygina
TKDE
2002
77views more  TKDE 2002»
14 years 9 months ago
Materialization and Its Metaclass Implementation
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...
Mohamed Dahchour, Alain Pirotte, Esteban Zim&aacut...
ADC
2000
Springer
146views Database» more  ADC 2000»
15 years 2 months ago
Handling Dynamic Schema Change in Process Models
Workflow technology has emerged as an appropriate platform for consolidating the distributed information resources of an enterprise, promoting interoperability across cross-platfo...
Shazia W. Sadiq