Sciweavers

396 search results - page 9 / 80
» Comparative Semantics for a Real-Time Programming Language w...
Sort
View
IFIP
2004
Springer
14 years 26 days ago
Three decades of data integration - All problems solved?
Data integration is one of the older research fields in the database area and has emerged shortly after database systems were first introduced into the business world. In this pa...
Patrick Ziegler, Klaus R. Dittrich
VLDB
1991
ACM
101views Database» more  VLDB 1991»
13 years 11 months ago
Solving Domain Mismatch and Schema Mismatch Problems with an Object-Oriented Database Programming Language
Domain mismatch and schema mismatch are two of the important semantic integration problems for interoperating heterogeneous databases. This paper structures the domain mismatch pr...
William Kent
AAAI
2010
13 years 9 months ago
Finding Semantic Inconsistencies in UMLS using Answer Set Programming
We introduce a new method to find semantic inconsistencies (i.e., concepts with erroneous synonymity) in the Unified Medical Language System (UMLS). The idea is to identify the in...
Halit Erdogan, Olivier Bodenreider, Esra Erdem
LPNMR
1995
Springer
13 years 11 months ago
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
Dov M. Gabbay, Laura Giordano, Alberto Martelli, N...
FLOPS
2004
Springer
14 years 27 days ago
Basic Pattern Matching Calculi: a Fresh View on Matching Failure
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
Wolfram Kahl