464 search results - page 30 / 93 » Modeling Semantic Constraints with Logic in the EARL Data Mo... |
CCGRID
2005
IEEE
14 years 1 months ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
EKAW
2004
Springer
14 years 24 days ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
VL
2002
IEEE
14 years 9 days ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
ICDT
2012
ACM
11 years 9 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...