LNCS 2798 Query Containment with Negated IDB Predicates 1st Edition by Carles Farré, Ernest Teniente, Toni Urpí  ISBN 3540394036 9783540394037

LNCS 2798 – Query Containment with Negated IDB Predicates 1st Edition by Carles Farré, Ernest Teniente, Toni Urpí  – Ebook PDF Instant Download/Delivery. 3540394036, 9783540394037

Full download LNCS 2798 – Query Containment with Negated IDB Predicates 1st Edition after payment

 

 

Product details:

ISBN 10: 3540394036

ISBN 13: 9783540394037

Author:  Carles Farré, Ernest Teniente, Toni Urpí  

LNCS 2798 – Query Containment with Negated IDB Predicates 1st Edition: 

We present a method that checks Query Containment for queries with negated IDB predicates. Existing methods either deal only with restricted cases of negation or do not check actually containment but uniform containment, which is a sufficient but not necessary condition for containment. Additionally, our queries may also contain equality, inequality and order comparisons. The generality of our approach allows our method to deal straightforwardly with query containment under constraints. Our method is sound and complete both for success and for failure and we characterize the databases where these properties hold. We also state the class of queries that can be decided by our method.

 This is a preview of subscription content

 

LNCS 2798 – Query Containment with Negated IDB Predicates 1st Edition Table of contents:

1 Introduction

2 Base Concepts

3 The Constructive Query Containment (CQC) Method

• 3.1 Example: Q1 ⊆ Q2
• 3.2 Variable Instantiation Patterns

4 Formalization of the CQC Method

• 4.1 CQC-Nodes, CQC-Trees and CQC-Derivations
• 4.2 The CQC-Expansion Rules

5 Correctness Results for the CQC Method

6 Decidability Results

7 Related Work

• 7.1 Queries and Database Schemas Handled by the Methods
• 7.2 Efficiency of the Proposed Techniques
  • 7.2.1 Comparison with [Ull97]
  • 7.2.2 Comparison with [WL03]

8 Conclusions

 

People also search for LNCS 2798 – Query Containment with Negated IDB Predicates 1st Edition:

query predicates
    
query predicate mongodb
    
queryable.contains
    
a queryentity()
    
query containment example
    
a query retrieves specific data