Type inference for queries on semistructured data

Tova Milo; Dan Suciu

doi:10.1145/303976.303998

Type inference for queries on semistructured data

Tova Milo^*, Dan Suciu

^*Corresponding author for this work

School of Computer Science

Tel Aviv University

Research output: Contribution to conference › Paper › peer-review

25 Scopus citations

Abstract

We study the problem of type checking and type inference for queries over semistructured data. Introducing a novel traces technique, we show that the problem is difficult in general (NP-complete), but can be solved in PTIME for many practical cases, including, in particular, queries over XML data. Besides being interesting by itself, we show that type inference and the related traces technique have several important applications, facilitating query formulation, optimization, and verification.

Original language	English
Pages	215-226
Number of pages	12
DOIs	https://doi.org/10.1145/303976.303998
State	Published - 1999
Event	Proceedings of the 1999 18th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS '99 - Philadelphia, PA, USA Duration: 31 May 1999 → 2 Jun 1999

Conference

Conference	Proceedings of the 1999 18th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS '99
City	Philadelphia, PA, USA
Period	31/05/99 → 2/06/99

Access to Document

10.1145/303976.303998

Cite this

@conference{94f858f2bed44fa59e55076329603c13,

title = "Type inference for queries on semistructured data",

abstract = "We study the problem of type checking and type inference for queries over semistructured data. Introducing a novel traces technique, we show that the problem is difficult in general (NP-complete), but can be solved in PTIME for many practical cases, including, in particular, queries over XML data. Besides being interesting by itself, we show that type inference and the related traces technique have several important applications, facilitating query formulation, optimization, and verification.",

author = "Tova Milo and Dan Suciu",

year = "1999",

doi = "10.1145/303976.303998",

language = "אנגלית",

pages = "215--226",

note = "Proceedings of the 1999 18th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS '99 ; Conference date: 31-05-1999 Through 02-06-1999",

}

TY - CONF

T1 - Type inference for queries on semistructured data

AU - Milo, Tova

AU - Suciu, Dan

PY - 1999

Y1 - 1999

N2 - We study the problem of type checking and type inference for queries over semistructured data. Introducing a novel traces technique, we show that the problem is difficult in general (NP-complete), but can be solved in PTIME for many practical cases, including, in particular, queries over XML data. Besides being interesting by itself, we show that type inference and the related traces technique have several important applications, facilitating query formulation, optimization, and verification.

AB - We study the problem of type checking and type inference for queries over semistructured data. Introducing a novel traces technique, we show that the problem is difficult in general (NP-complete), but can be solved in PTIME for many practical cases, including, in particular, queries over XML data. Besides being interesting by itself, we show that type inference and the related traces technique have several important applications, facilitating query formulation, optimization, and verification.

UR - http://www.scopus.com/inward/record.url?scp=0032638570&partnerID=8YFLogxK

U2 - 10.1145/303976.303998

DO - 10.1145/303976.303998

M3 - ???researchoutput.researchoutputtypes.contributiontoconference.paper???

AN - SCOPUS:0032638570

SP - 215

EP - 226

T2 - Proceedings of the 1999 18th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS '99

Y2 - 31 May 1999 through 2 June 1999

ER -

Type inference for queries on semistructured data

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this