• DEDALE

  • Referenced in 10 articles [sw17368]
  • queries. This paper presents DEDALE, a spatial database system intended to overcome some limitations ... linear constraints, which generalizes the constraint database model of [KKR90]. While in the classical constraint ... effectiveness of a constraint-based approach for the design of spatial database systems...
  • Ontop

  • Referenced in 17 articles [sw22931]
  • mapping optimisations using SQL expressivity and database integrity constraints—the system produces scalable SQL queries...
  • CCUBE

  • Referenced in 5 articles [sw17366]
  • CCUBE constraint object-oriented database system. Constraints provide a flexible and uniform way to represent ... wide variety of application domains. Constraint databases have recently emerged to deeply integrate data captured ... constraints in databases. This paper reports on the development of the first constraint object-oriented ... software systems requiring extensible use of constraint database features. The CCUBE data manipulation language, Constraint...
  • LyriC

  • Referenced in 6 articles [sw17365]
  • LyriC language: Querying constraint objects. We propose a novel data model and its language ... querying object-oriented databases where objects may hold spatial, temporal or constraint data, conceptually represented ... spatial and geographic databases. LyriC extends flat constraint ... query languages, especially those for linear constraint databases, to structurally complex objects. The extension...
  • PicHunter

  • Referenced in 53 articles [sw14896]
  • previously proposed systems. However, even with this constraint and simple image features, PicHunter is able ... locate randomly selected targets in a database of 4522 images after displaying an average...
  • CDOL

  • Referenced in 5 articles [sw02639]
  • active database technology. CDOL provides sublanguages for the expression of derived data, constraints, updates ... extend the stored database with derived attributes and classes. The constraint sublanguage allows explicit ... declarative specification of integrity constraints as a basis for database consistency. The update sublanguage ... maintain database consistency with respect to the set of integrity constraints. Active rules in general...
  • PROTOS-L

  • Referenced in 7 articles [sw02876]
  • level access to external relational databases, and finite domain constraints. The type concept covers user ... details from the user of a module. Database access and modification is fully embedded ... database inference engine realizing a deductive database component, with a window manager realizing the interface ... OSF/Motif, and also with the finite domain constraint solver...
  • CDB-PV

  • Referenced in 2 articles [sw17364]
  • Constraint Database-Based Program Verifier. In this paper we present a new system called ... that uses constraint databases (CDBs) for program verification (PV). The CDB-PV system was implemented...
  • MLPQ

  • Referenced in 1 article [sw17369]
  • MLPQ: A linear constraint database system with aggregate operators. The paper describes the MLPQ constraint ... database system. The query language of MLPQ is SQL extended with linear arithmetic constraints ... input and output databases are linear constraint databases (LCDBs). An important feature of the MLPQ ... queries with aggregate operators on linear constraint databases...
  • KERMIT

  • Referenced in 5 articles [sw02470]
  • KERMIT: A constraint-based tutor for database modeling. KERMIT is an intelligent tutoring system that ... design using the Entity-Relationship data model. Database design is an open-ended task: although ... constraint based modelling has been used in a tutor that teaches a database language...
  • Yasol

  • Referenced in 2 articles [sw41488]
  • search algorithm is an arithmetic linear constraint database together with the Alphabeta-algorithm which ... roughly described in [7]. Yasol deals with constraint learning on the so called primal side...
  • LFW

  • Referenced in 60 articles [sw31362]
  • Labeled Faces in the Wild, a database of face photographs designed for studying the problem ... photos in the data set. The only constraint on these faces is that they were...
  • Pyomo

  • Referenced in 77 articles [sw04910]
  • formulate algebraic expressions that define objectives and constraints. Moreover, Pyomo can be used from ... load data from sources like spreadsheets and databases. The final chapters cover advanced topics such...
  • COBALT

  • Referenced in 1 article [sw38912]
  • finds a collection of pairwise constraints derived from database searches, sequence similarity and user input ... show that using constraints derived from the conserved domain database (CDD) and PROSITE protein-motif...
  • Preference SQL

  • Referenced in 7 articles [sw19209]
  • soft constraints. Preference SQL has been developed at the Chair for Databases and Information Systems...
  • MIRROR

  • Referenced in 4 articles [sw02280]
  • Data replication can help database systems meet the stringent temporal constraints of current real-time ... deadline applications operating on replicated real-time databases. MIRROR augments the classical O2PL concurrency control...
  • QAGen

  • Referenced in 3 articles [sw25442]
  • addition to the database schema and the set of basic constraints defined on the base ... constraints defined on the query as input, and generates a query-aware test database...
  • SeqLog

  • Referenced in 13 articles [sw01946]
  • representation language for the inductive database mining system MineSeqLog. Inductive queries in MineSeqLog take ... monotonic and an anti-monotonic constraint on sequential patterns. Given such an inductive query, MineSeqLog...
  • iZi

  • Referenced in 2 articles [sw10113]
  • problems such as itemset mining, constraint mining in relational databases and query rewriting in data...
  • Snoop

  • Referenced in 14 articles [sw17981]
  • composite events in addition to the traditional database events. The novel aspect of our work ... contingency plan that includes time constraints can be supported without stepping outside of the framework...