↓ Skip to main content

ICDT '86

Overview of attention for book
Cover of 'ICDT '86'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 27 Logic programming and parallel complexity
  3. Altmetric Badge
    Chapter 28 The generalized counting method for recursive logic queries
  4. Altmetric Badge
    Chapter 29 Restructuring of complex objects and office forms
  5. Altmetric Badge
    Chapter 30 Set containment inference
  6. Altmetric Badge
    Chapter 31 A domain theoretic approach to higher-order relations
  7. Altmetric Badge
    Chapter 32 On the desirability of γ-acyclic BCNF database schemes
  8. Altmetric Badge
    Chapter 33 Update semantics under the domain closure assumption
  9. Altmetric Badge
    Chapter 34 Unsolvable problems related to the view integration approach
  10. Altmetric Badge
    Chapter 35 Horizontal decompositions based on functional-dependency-setimplications
  11. Altmetric Badge
    Chapter 36 Update serializability in locking
  12. Altmetric Badge
    Chapter 37 Filtering data flow in deductive databases
  13. Altmetric Badge
    Chapter 38 Multidimensional order preserving linear hashing with partial expansions
  14. Altmetric Badge
    Chapter 39 Split-freedom and MVD-intersection: A new characterization of multivalued dependencies having conflict-free covers
  15. Altmetric Badge
    Chapter 40 Towards online schedulers based on Pre-Analysis Locking
  16. Altmetric Badge
    Chapter 41 Query processing in incomplete logical databases
  17. Altmetric Badge
    Chapter 42 Introduction to the theory of nested transactions
  18. Altmetric Badge
    Chapter 43 Entity-relationship consistency for relational schemas
  19. Altmetric Badge
    Chapter 44 Modelling large bases of categorical data with acyclic schemes
  20. Altmetric Badge
    Chapter 45 Some extensions to the closed world assumption in databases
  21. Altmetric Badge
    Chapter 46 Expedient stochastic move-to-front and optimal stochastic move-to-rear list organizing strategies
  22. Altmetric Badge
    Chapter 47 The cost of locking
  23. Altmetric Badge
    Chapter 48 ICDT '86
  24. Altmetric Badge
    Chapter 49 A polynomial-time join dependency implication algorithm for unary multi-valued dependencies
  25. Altmetric Badge
    Chapter 50 Interaction-free multivalued dependency sets
  26. Altmetric Badge
    Chapter 51 Updating logical databases containing null values
  27. Altmetric Badge
    Chapter 52 A new characterization of distributed deadlock in databases
Attention for Chapter 30: Set containment inference
Altmetric Badge
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Set containment inference
Chapter number 30
Book title
ICDT '86
Published by
Springer Berlin Heidelberg, January 1986
DOI 10.1007/3-540-17187-8_30
Book ISBNs
978-3-54-017187-4, 978-3-54-047346-6
Authors

Paolo Atzeni, D. Stott Parker Jr., D. Stott Parker

Editors

Giorgio Ausiello, Paolo Atzeni