Advisor: Prof' Zaniolo - PowerPoint PPT Presentation

1 / 30
About This Presentation
Title:

Advisor: Prof' Zaniolo

Description:

title TCP/IP Illustrated /title title Advanced Programming in the Unix environment /title ... title TCP/IP Illustrated /title price ... XQuery Tutorial ... – PowerPoint PPT presentation

Number of Views:39
Avg rating:3.0/5.0
Slides: 31
Provided by: lingjy
Category:

less

Transcript and Presenter's Notes

Title: Advisor: Prof' Zaniolo


1
XML Query Language
  • Advisor Prof. Zaniolo
  • Hung-chih Yang
  • Ling-Jyh Chen

2
Motivation
  • As increasing amounts of information are stored,
    exchanged, and presented using XML, the ability
    to intelligently query XML data sources becomes
    increasingly important.
  • One of the great strengths of XML is its
    flexibility in representing many different kinds
    of information from diverse sources.
  • To exploit this flexibility, an XML query
    language must provide features for retrieving and
    interpreting information from these diverse
    sources.

3
Desiderata for an XML query language
  • Expressive power
  • Semantics
  • Compositionality
  • Schema
  • Program manipulation

4
Different query languages for XML
  • XPath XQL path expression syntax suitable for
    hierarchical documents
  • XML-QL binding variables and using bound
    variables to create new structures
  • SQL SELECT-FROM-WHERE pattern for restructuring
    data
  • OQL ODMG
  • Quilt accept a lot of advantages from above XML
    query languages, and its the immediate ancestor
    of XQuery

5
Whats XQuery
SQL
Relational database
XML document /database
XQuery
6
Whats XQuery (cont.)
  • XQuery is designed to meet the requirements
    identified by the W3C XML Query Working Group
    XML Query 1.0 Requirements and the use cases in
    XML Query Use Cases.
  • XQuery is designed to be a small, easily
    implementable language.
  • XQuery is flexible enough to query a broad
    spectrum of XML information sources, including
    both databases and documents.
  • XQuery defines a human-readable syntax for that
    language

7
Whats Xquery (cont.)
  • The basic building block of XQuery is the
    expression
  • XQuery is a functional language (at least the
    spec claimed it to be)
  • XQuery is a strongly-typed language

8
XQuery vs XSLT
  • Reinventing the Wheel?
  • XSLT is document-driven XQuery is program driven
  • XSLT is written in XML XQuery is not
  • An assertion (unproven) XSLT 2.0 can do
    everything XQuery can do

9
XQuery concepts
  • A query in XQuery is an expression that
  • Reads a number of XML documents or fragments
  • Returns a sequence of well-formed XML fragments

10
The principal forms of XQuery expressions
  • Primary
  • The basic primitives of the language including
    literals, variables, function calls and the use
    of parentheses to control precedence of operation
  • Path
  • Locates nodes within a tree, and returns a
    sequence of distinct nodes in document order
  • Sequence
  • An ordered collection of zero or more items,
    where an item may be an atomic value or a node.
    An item is identical to a sequence of length one
    containing that item. Sequences are never nested.

11
The principal forms of XQuery expressions (cont.)
  • Arithmetic
  • Xquery provides arithmetic operators for
    addition, subtraction, multiplication, division,
    and modulus.
  • Comparison
  • Xquery provides four kinds of comparisons value,
    general, node, and order comparisons.
  • Logical
  • A logical expression is either an and-expression
    or an or-expression. The value of a logical
    expression is always one of the boolean values
    true or false.

12
The principal forms of XQuery expressions (cont.)
  • Contructor
  • Constructors can create XML structures within a
    query. There are constructors for elements,
    attributes, CDATA sections, processing
    instructions, and comments.
  • FLWR
  • XQuery provides a FLWR expression for iteration
    and for binding variables to intermediate
    results. This kind of expression is often useful
    for computing joins between two or more documents
    and for restructuring data. The name "FLWR",
    pronounced "flower", stands for the keywords for,
    let, where, and return, the four clauses found in
    a FLWR expression.

13
The principal forms of XQuery expressions (cont.)
  • Sorting
  • A sorting expression provides a way to control
    the order of items in a sequence.
  • Conditional
  • XQuery supports a conditional expression based on
    the keywords if, then, and else.
  • Quantified
  • Quantified expressions support existential and
    universal quantification. The value of a
    quantified expression is always true or false.

14
The principal forms of XQuery expressions (cont.)
  • Datatypes
  • Runtime type checking and manipulation
  • Validate
  • A validate expression validates its argument with
    respect to the in-scope schema definitions, using
    the schema validation process described in XML
    Schema.

15
XQuery Example 1
Xquery Find all books with a price of 39.95
  • document("bib.xml")/bib/bookprice 39.95

Result
ltbook year"2000"gt lttitlegtData on the
Weblt/titlegt ltauthorgtltlastgtAbiteboullt/lastgtltfir
stgtSergelt/firstgtlt/authorgt ltauthorgtltlastgtBunema
nlt/lastgtltfirstgtPeterlt/firstgtlt/authorgt
ltauthorgtltlastgtSuciult/lastgtltfirstgtDanlt/firstgtlt/auth
orgt ltpublishergtMorgan Kaufmann
Publisherslt/publishergt ltpricegt
39.95lt/pricegt lt/bookgt
16
XQuery Example 2
XQuery Find the title of all books published
before 1995
  • document("bib.xml")/bib/book_at_year lt 1995/title

Result
lttitlegtTCP/IP Illustratedlt/titlegt lttitlegtAdvanced
Programming in the Unix environmentlt/titlegt
17
XQuery Example 3 (for loop)
XQuery List books published by Addison-Wesley
after 1991, including their year and title.
  • ltbibgt
  • for b in document("bib.xml")/bib/book
  • where b/publisher "Addison-Wesley" and
    b/_at_year gt 1991
  • return
  • ltbook year" b/_at_year "gt
  • b/title
  • lt/bookgt
  • lt/bibgt

18
XQuery Example 3 (for loop)
Result
  • ltbibgt
  • ltbook year"1994"gt
  • lttitlegtTCP/IP Illustratedlt/titlegt
  • lt/bookgtltbook year"1992"gt
  • lttitlegtAdvanced Programming in the Unix
    environmentlt/titlegt
  • lt/bookgt
  • lt/bibgt

19
XQuery Example 4 (Join)
XQuery For each book found at both bn.com and
amazon.com, list the title of the book and its
price from each source.
  • ltbooks-with-pricesgt
  • for b in document("bib.xml")//book,
  • a in document("reviews.xml")//entry
  • where b/title a/title
  • return
  • ltbook-with-pricesgt
  • b/title
  • ltprice-amazongt a/price
    lt/price-amazongt
  • ltprice-bngt b/price lt/price-bngt
  • lt/book-with-pricesgt
  • lt/books-with-pricesgt

20
XQuery Example 4 (Join)
Result
  • ltbooks-with-pricesgt
  • ltbook-with-pricesgt
  • lttitlegtTCP/IP Illustratedlt/titlegt
  • ltprice-amazongtltpricegt65.95lt/pricegtlt/pr
    ice-amazongt
  • ltprice-bngtltpricegt 65.95lt/pricegtlt/price
    -bngt
  • lt/book-with-pricesgtltbook-with-pricesgt
  • lttitlegtAdvanced Programming in the
    Unix environmentlt/titlegt
  • ltprice-amazongtltpricegt65.95lt/pricegtlt/pr
    ice-amazongt
  • ltprice-bngtltpricegt65.95lt/pricegtlt/price-
    bngt
  • lt/book-with-pricesgtltbook-with-pricesgt
  • lttitlegtData on the Weblt/titlegt
  • ltprice-amazongtltpricegt34.95lt/pricegtlt/pr
    ice-amazongt
  • ltprice-bngtltpricegt 39.95lt/pricegtlt/price
    -bngt
  • lt/book-with-pricesgt
  • lt/books-with-pricesgt

21
XQuery Example 5 (Grouping quantifier)
XQuery For each author in the bibliography, list
the author's name and the titles of all books by
that author, grouped inside a "result" element.
  • ltresultsgt
  • for a in distinct-values(document("bib.com")/
    /author)
  • return ltresultgt
  • a
  • for b in document("http//bib
    .com")/bib/book
  • where some ba in b/author
    satisfies deep-equal(ba,a)
  • return b/title
  • lt/resultgt
  • lt/resultsgt

22
XQuery Example 5 (Grouping quantifier)
  • ltresultsgt
  • ltresultgt
  • ltauthorgt
  • ltlastgtStevenslt/lastgt
  • ltfirstgtW.lt/firstgt
  • lt/authorgt
  • lttitlegtTCP/IP Illustratedlt/titlegt
  • lttitlegtAdvanced Programming in the Unix
    environmentlt/titlegt
  • lt/resultgt
  • ltresultgt
  • ltauthorgt
  • ltlastgtAbiteboullt/lastgt
  • ltfirstgtSergelt/firstgt
  • lt/authorgt
  • lttitlegtData on the Weblt/titlegt
  • lt/resultgt
  • lt/resultsgt

Result
23
XQuery Example 6 (Sorting)
XQuery List the titles and years of all books
published by Addison-Wesley after 1991, in
alphabetic order.
  • ltbibgt
  • for b in document("www.bn.com/bib.xml")//book
  • where b/publisher "Addison-Wesley" and
    b/_at_year gt 1991
  • return
  • ltbookgt
  • b/_at_year
  • b/title
  • lt/bookgt
  • sortby (title)
  • lt/bibgt

24
XQuery Example 6 (Sorting)
Result
  • ltbibgt
  • ltbook year"1992"gt
  • lttitlegtAdvanced Programming in the Unix
    environmentlt/titlegt
  • lt/bookgt
  • ltbook year"1994"gt
  • lttitlegtTCP/IP Illustratedlt/titlegt
  • lt/bookgt
  • lt/bibgt

25
XQuery Example 7 (Recursion)
XQuery Convert the sample document from
"partlist" format to "parttree" format.
  • define function one_level (element p) returns
    element
  • ltpart partid" p/_at_partid " name"
    p/_at_name " gt
  • for s in document("partlist.xml")//pa
    rt
  • where s/_at_partof p/_at_partid
  • return one_level(s)
  • lt/partgt
  • ltparttreegt
  • for p in document("partlist.xml")//partempty
    (_at_partof)
  • return one_level(p)
  • lt/parttreegt

26
XQuery Example 7 (Recursion)
Result
  • ltparttreegt
  • ltpart partid"0" name"car"gt
  • ltpart partid"1" name"engine"gt
  • ltpart partid"3" name"piston"/gt
  • lt/partgt
  • ltpart partid"2" name"door"gt
  • ltpart partid"4" name"window"/gt
  • ltpart partid"5" name"lock"/gt
  • lt/partgt
  • lt/partgt
  • ltpart partid"10" name"skateboard"gt
  • ltpart partid"11" name"board"/gt
  • ltpart partid"12" name"wheel"/gt
  • lt/partgt
  • ltpart partid"20" name"canoe"/gt
  • lt/parttreegt

27
XQuery Example 8 (Sequence)
XQuery In the Procedure section of Report1, what
Instruments were used in the second Incision?
  • for s in document("report1.xml")//sectionsection
    .title "Procedure"
  • return (s//incision)2/instrument

Result
ltinstrumentgtelectrocauterylt/instrumentgt
28
XQuery practice
  • XML Query Language Demo,http//131.107.228.20
  • X-Hive. Another nice-looking online
    demo,http//217.77.130.1898080/demos/xquery/inde
    x.html
  • Qexo The GNU Kawa implementation of XQuery,
    http//www.gnu.org/software/qexo/

29
Conclusion
  • XQuery is a simple substitution of XSLT, JSP,
    ASP, Servlet, CGI, PHP, etc.
  • XQuery programs can accomplish most tasks of
    other tools aforementioned, and yet is much
    simplier to learn and easier to write.
  • Possible direction is to extend XQuery for UPDATE
    and INSERT to an XML database
  • Still lack of support from industry till now

30
Reference
  • Jonathan Pinnock, et al. Professional XML, 2nd
    edition, ISBN 1861005059, WROX Publishers, 2001
  • Serge Abiteboul, Peter Buneman and Dan Suciu,
    Data on the Web from Relations to
    Semistructured Data and XML, ISBN 1-55860-622-X,
    Morgan Kaufmann Publishers, 2000
  • World Wide Web Consortium, XQuery 1.0. An XML
    Query Language, W3C Working Draft, Apr. 30, 2002
  • World Wide Web Consortium, XML Path Language
    (XPath) Version 1.0, W3C Recommendation, Nov.
    16, 1999
  • Qexo The GNU Kawa implementation of XQuery,
    http//www.gnu.org/software/qexo/
  • XQuery Tutorialhttp//www.research.avayalabs.com/
    user/wadler/papers/xquery-tutorial/xquery-tutorial
    .pdf
  • Don Chamberlin, Jonathan Robie, and Daniela
    Florescu, Quilt An XML Query Language for
    Heterogeneous Data Sources, WebDB 2000, Dallas,
    May 2000
Write a Comment
User Comments (0)
About PowerShow.com