Sciweavers

5130 search results - page 212 / 1026
» Constraint Query Languages
Sort
View
UML
2005
Springer
15 years 12 months ago
Simplifying Transformations of OCL Constraints
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
Martin Giese, Daniel Larsson
ZUM
2000
Springer
15 years 10 months ago
A Computation Model for Z Based on Concurrent Constraint Resolution
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
Wolfgang Grieskamp
IJCAI
2003
15 years 7 months ago
Finite Domain Constraint Solver Learning
paper, we present an abstract framework for learning a finite domain constraint solver modeled by a set of operators enforcing a consistency. The behavior of the consistency to be...
Arnaud Lallouet, Thi-Bich-Hanh Dao, Andrei Legtche...
DBPL
1993
Springer
104views Database» more  DBPL 1993»
15 years 10 months ago
Extensible Grammars for Language Specialization
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
Luca Cardelli, Florian Matthes, Martín Abad...
ICPR
2008
IEEE
16 years 7 months ago
Query by table
Querying any information system requires the knowledge of some formal language, making it inaccessible to computer-na?ve potential users. We propose a new intuitive querying mecha...
George Nagy, Raghav K. Padmanabhan