• Home
  • Search
  • Interaction between path and type constraints
  • Open Access IconOpen Access
  • Cite Icon26
  • https://doi.org/10.1145/937555.937560Copy DOI Icon

Interaction between path and type constraints

Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Path constraints are capable of expressing inclusion and inverse relationships and have proved useful in modeling and querying semistructured data [Abiteboul and Vianu 1999; Buneman et al. 2000]. Types also constrain the structure of data and are commonly found in traditional databases. There has also been work on imposing structure or a type system on semistructured data for storing and querying semistructured data in a traditional database system [Alon et al. 2001; Deutsch et al. 1999a; Florescu and Kossmann 1999; Shanmugasundaram et al. 1999]. One wants to know whether complexity results for reasoning about path constraints established in the untyped (semistructured) context could carry over to traditional databases, and vice versa. It is therefore appropriate to understand the interaction between types and path constraints. In addition, XML [Bray et al. 1998], which may involve both an optional schema (e.g., DTDs or XML Schema [Thompson et al. 2001]) and integrity constraints, highlights the importance of the study of the interaction.This article investigates that interaction. In particular it studies constraint implication problems, which are important both in understanding the semantics of type/constraint systems and in query optimization. It shows that path constraints interact with types in a highly intricate way. For that purpose a number of results on path constraint implication are established in the presence and absence of type systems. These results demonstrate that adding a type system may in some cases simplify reasoning about path constraints and in other cases make it harder. For example, it is shown that there is a path constraint implication problem that is decidable in PTIME in the untyped context, but that becomes undecidable when a type system is added. On the other hand, there is an implication problem that is undecidable in the untyped context, but becomes not only decidable in cubic time but also finitely axiomatizable when a type system is imposed.

Similar Papers
  • Conference Article
  • Citations94

Path constraints on semistructured and structured data

  • May 01, 1998
  • Peter Buneman +2
  • Research Article
  • Citations6

Exploiting constraint-like data characterizations in query optimization

  • May 01, 2001
  • ACM SIGMOD Record
  • Parke Godfrey +2
  • Conference Article
  • Citations2

Estimating Predicate Selectivities in a NoSQL Database Service

  • Oct 28, 2020
  • Sudarshan S Chawathe
  • Research Article
  • Citations148

Containment of conjunctive queries

  • Sep 01, 1995
  • ACM Transactions on Database Systems
  • Yannis E Ioannidis +1
  • Conference Article
  • Citations8

Mobile agent model for distributed systems

  • Jul 02, 2002
  • T Komiya +2
  • Research Article
  • Citations22

A first step towardsmodeling semistructured data in hybrid multimodal logic

  • Jan 01, 2004
  • Journal of Applied Non-Classical Logics
  • Nicole Bidoit +2
  • Conference Article
  • Citations15

Database system comparison based on spatiotemporal functionality

  • Jan 01, 2019
  • Antonios Makris +4
  • Research Article

GPGPU를 활용한 스파크 기반 공간 연산

  • Aug 31, 2016
  • KIPS Transactions on Computer and Communication Systems
  • Chanseung Son +2
  • Conference Article
  • Citations65

Architectures for intrusion tolerant database systems

  • Jan 11, 2017
  • Peng Liu
  • Research Article
  • Citations35

The Design and Implementation of a Self-Healing Database System

  • Nov 01, 2004
  • Journal of Intelligent Information Systems
  • Peng Liu +5
  • Research Article
  • Citations50

Information integration

  • Sep 01, 1998
  • IEEE Intelligent Systems and their Applications
  • M.A Hearst +4
  • Book Chapter

Intelligent Image Archival and Retrieval System

  • Jan 18, 2011
  • P Punitha +1
  • Conference Article
  • Citations23

Looking into a REST-Based Universal API for Database-as-a-Service Systems

  • Nov 01, 2010
  • Till Haselmann +2
  • Conference Article

<title>VideoBase: a prototype of a video database managing system</title>

  • Dec 17, 1998
  • Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE
  • Xuesheng Bai +2
  • Research Article

Innovative Design of Marine Resources Database System Based on Fuzzy Cluster Analysis

  • May 04, 2019
  • Journal of Coastal Research
  • Yuanqiang Lian
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.