Checking query containment with the CQC method-Reference-Cited by-同舟云学术

Checking query containment with the CQC method

Published:2005-05 Issue:2 Volume:53 Page:163-223
ISSN:0169-023X
Container-title:Data & Knowledge Engineering
language:en
Short-container-title:Data & Knowledge Engineering

Author:

Farré Carles,Teniente Ernest,Urpí Toni

Publisher

Elsevier BV

Subject

Information Systems and Management

Reference56 articles.

1. Foundations of Databases;Abiteboul,1995

2. Equivalences among relational expressions;Aho;SIAM Journal on Computing,1979

3. F. Bry, N. Eisinger, H. Schütz, S. Torge, SIC: Satisfiability checking for integrity constraints, in: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP’98), 1998, pp. 25–36

4. Subsumption of queries in object-oriented databases;Buchheit;Information Systems,1994

5. On the relative expressiveness of description logics and predicate logics;Borgida;Artificial Intelligence,1996

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A formal approach to finding inconsistencies in a metamodel;Software and Systems Modeling;2021-01-29

2. An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency;Automated Software Engineering;2017-02-07

3. Lightweight and static verification of UML executable models;Computer Languages, Systems & Structures;2016-11

4. Computing repairs for constraint violations in UML/OCL conceptual schemas;Data & Knowledge Engineering;2015-09

5. A view-based monitoring for usage control in web services;Distributed and Parallel Databases;2014-12-14