declarative languages for querying portal catalogs
TRANSCRIPT
11
1
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Declarative Languages for QueryingPortal Catalogs
V. ChristophidesD. Plexousakis
G. KarvounarakisS. Alexaki
Computer Science Department, University of CreteInstitute for Computer Science - FORTH
Heraklion, Crete
2
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
What is a Community Web ?
n A group of people sharing a domain of discourse and a set of information resources (e.g., data, documents, services) and having some common interests
gCommerce, Education, Health
n The main requirement is to provide a single point of useful, ubiquitouscomprehensive, and integrated accessto various information resources
gWeb Portals
C-Web
Education
HealthCommerce
Workplace
22
3
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Portals Classification
On-line Communities
Existing Communities
4
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Portals Classification
33
5
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Generating new knowledge
Accessing knowledge from external sources
Representing knowledge in documents and databases
Embedding knowledge inservices and processes
Dissemination of knowledge within organisation
Using knowledge in decision making
Knowledge Processes in Corporate Communities
6
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Advanced Knowledge Schemas
(ontologies, thesauri)
<tag1><tag2><tag3>
</tag1>
<tag1><tag2><tag3>
</tag1>
Complexity and diversity
of information resources
Heterogeneous
resource descriptions
Community Web Portals: Main Features
44
7
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
What we need?
n Flexible Modeling of Community Web Portal Catalogsu Exploit existing forms of community knowledge
• Ranging from simple vocabularies to formal ontologies
v Describe in various ways community information resources• Administration, Classification, Content Rating, Channels, ….
n Secondary Storage Management of Portal Metadatau Large Schemas: e.g., 100 Mbytes of ODP Topics (the Art Hierarchy
contains 20000 terms)
v Voluminous Description Bases: e.g., 700 Mbytes of ODP indexed URLs
n Declarative Query Languages for Portal Catalogsu Interleave schema with data querying
v Optimize access to Portal Catalogs
8
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Our Approach
High-level Access to
community information
Archives
Virtual XML Warehouse
Documents
Databases
Web
RDF
Å Use W3C Standards to describe (RDF/S) & exchange (XML) information
Å Our Contribution: Declarative Languages for Browsing & Querying
55
9
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Outline
n Example of a Portal Catalog for Cultural Communities
n Describing and Querying Community ResourcesgA Formal Data Model for RDF/SgThe RDF Query Language (RQL)
n ArchitecturegCore Middleware (RDF Store, Parser/Loader, Query Interpreter)
n Build Community Web PortalsgCreate/Extract Resource MetadatagDevelop Specific Applications for CommunitiesgOptimize RDF Storage and Queries
n Summary
10
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Building a Cultural Community Web Portal using RDF
r2: museoreinasofia.mcu.es/guernica.jpg
r1:www.rodin.fr/thinker.gif
PortalSchema
PortalResourceDescriptions
ExtResource
last_modified title
StringDate
“oil on canvas”technique
exhibited
“Reina Sofia Museum”
title2000/06/09
last_modified
&r3
&r1
&r2
&r4
Artist
Sculptor
StringArtifact
Sculpture
Painting
sculpts
createsfname
lname
paints
StringMuseumexhibited
techniqueStringPainter
paints
creates
&r5
&r6
fname
lname
lname
paints
“Pablo”
“Picasso”
“Rodin”
2000/01/02last_modified
r4:museoreinasofia.mcu.esr3:www.artchive.com/woman.jpg
Web Resources
66
11
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Resource Description Framework (RDF/S)
n RDF: Resource Descriptions gData Model: Directed Labeled Graphs
• Nodes: Resources (URIs) or Litterals• Edges: Properties – Attributes or Relationships• Labels: Nodes (Class names) and Edges (Property names)• Statement: assertion of the form resource, property, value• Description: collection of statements concerning a resource
gXML syntaxn RDF Schema (RDFS): Schema Vocabularies
gSpecialization of both classes & properties (simple & multiple)gMultiple classification under several classesgUnordered, optional, and multi-valued properties gDomain and range polymorphism of properties
12
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
RDF/XML Serialization: Data<rdf:RDF xml:lang="en"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"xmlns:rdfs="http://www.w3.org/TR/2000/PR-rdf-schema-20000327#"xmlns="">
….
<Painter rdf:id=“picasso132"><fname>Pablo</fname><lname>Picasso</lname><paints>
<Painting rdf:about="http://museoreinasofia.mcu.es/guernica.gif"><exhibited>
<Museum rdf:about="http://museoreinasofia.mcu.es"/></exhibited ><technique>oil on canvas</technique>
</Painting></paints><paints>
<Painting rdf:about="http://www.artchive.com/woman.jpg”/></paints>
</Painter><ExtResource rdf:about="http://museoreinasofia.mcu.es">
<title>ReinaSophia Museum</title ><lastmodified>2000/06/09</lastmodified>
<Sculptor rdf:id="rodin424" lname="Rodin “><creates>
<Sculpture rdf:about="http://www.rodin .fr/thinker.gif"/></creates>
</Sculptor></rdf:RDF>
77
13
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
RDF/XML Serialization: Schema<rdf:RDF xml:lang="en"
xmlns:rdf="http://www.w3.org/1999/02/ 22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/TR/2000/ PR-rdf-schema-20000327#"><rdfs:Class rdf:ID="Artist"/><rdfs:Class rdf:ID="Artifact"/><rdfs:Class rdf:ID="Style"/><rdfs:Class rdf:ID="Sculptor"><rdfs:Class rdf:ID=“Museum">
<rdfs:subClassOf rdf:resource="#Artist"/> </rdfs:Class><rdfs:Class rdf:ID="Painter">
<rdfs:subClassOf rdf:resource="#Artist"/> </rdfs:Class><rdfs:Class rdf:ID="Sculpture">
<rdfs:subClassOf rdf:resource="#Artifact"/> </rdfs:Class><rdfs:Class rdf:ID="Painting">
<rdfs:subClassOf rdf:resource="#Artifact"/> </rdfs:Class><rdf:Property rdf:ID="creates ">
<rdfs:domain rdf:resource="#Artist"/><rdfs:range rdf:resource="#Artifact"/>
</rdf:Property>
<rdf:Property rdf:ID="paints"><rdfs:domain rdf:resource="#Painter"/><rdfs:range rdf:resource="#Painting"/><rdfs:subPropertyOf rdf:resource="#creates"/>
</rdf:Property><rdf:Property rdf:ID="sculpts">
<rdfs:domain rdf:resource="#Sculptor"/><rdfs:range rdf:resource="#Sculpture"/><rdfs:subPropertyOf rdf:resource="#creates"/>
</rdf:Property><rdf:Property rdf:ID=“exhibited ">
<rdfs:domain rdf:resource="#Painting"/><rdfs:range rdf:resource=“#Museum"/>
</rdf:Property><rdf:Property rdf:ID=" technique">
<rdfs:domain rdf:resource="#Painting"/><rdfs:range rdf:resource="http://www.w3.org/
TR/1999/PR-rdf-schema-19990303#Literal"/></rdf:Property><rdf:Property rdf:ID="title">
<rdfs:domain rdf:resource="#ExtResource"/><rdfs:range rdf:resource= "http://www.w3.org/
TR/1999/PR-rdf-schema-19990303#Literal"/></rdf:Property> ….</rdf:RDF>
14
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
RDF/S vs. Well-Known Formalisms
n Relational or Object Database Models (ODMG, SQL)g Classes don’t define table or object typesg Instances may have associated quite different propertiesg Collections with heterogeneous members
n Semistructured or XML Data Models ( Ï Å Ì, UnQL, YAT, XML Schema)
g Labels only on nodes or edgesg Class and property subsumption is not capturedg Heterogeneous structures reminiscent to SGML exceptions
n KR Languages (Telos, DL, F-Logic)g Absence of complex values and n-ary relationships (bags, sequences)g Inadequate reasoning support
88
15
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
A Formal Data Model for RDF
n Ç(Í,<) is a well-defined hierarchy of classes/properties iff:
gc ∈ C => c < Class
gp ∈ P => p < Property
gp1,p2 ∈ P and p1 < p2 => domain(p1) ≤ domain(p2) and range(p1) ≤ range(p2)
n Type System:
τ = τL | τU | {τ} | [τ] | (1:τ + 2:τ + … + n:τ)
n Interpretation Function:gLiteral types, [[ τL ]] = dom(τL)
gBag types, [[ {τ} ]] = {ν1, ν2,…, νn}, ν1, ν2,…, νn ∈ V are values of type τ
gSeq types, [[ [τ] ]] = {ν1, ν2,…, νn}, ν1, ν2,…, νn ∈ V are values of type τgAlt types, [[ (1:τ1 + 2:τ2 +…+ n:τn ) ]] = νI, νi ∈ V, 1<i<n is a value of type τi
gc ∈ C, [[c]] = {ν | ν ∈ π(c)}∪{π(c’) | c’ < c}
gp ∈ P, [[p]] = {[ν1, ν2] | ν1 ∈ [[domain(p)]], ν1 ∈ [[range(p)]]}∪{π(p’) | p’ < p}
16
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
A Formal Data Model for RDF
n An RDF schema is a 5-tuple: RS = (VS, ES, H, ψ, λ)gVS a set of nodesgES a set of edgesgÇ = (Í,<) a well-formed hierarchy of names
gλ a labeling function: VS ∪ ES → Í ∪Ôgψ an incidence function: Es → Vs×Vs
n An RDF description base, instance of a schema RS, is a 5-tuple: RD = (VD, ED, ψ, ν, λ)
gVD a set of nodesgED a set of edges
gψ an incidence function: ED → VD×VD
gν a valuation function: VD → Vgλ a labeling function: VD ∪ ED →2 Í∪Ô:
• ∀ u ∈ VD, λ → n ∈ C∪T: ν(u) ∈[[n]]• ∀ e ∈ ED [u,u’], λ → p
99
17
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
A Formal Data Model for RDF
resources
URI
U V
λλ
T
[[ . ]]
PropertyClass< <
ττCττL ττP
ψψ
ππ{[val,val}]
container
[[ . ]]
νν
λλN
H
S
val
ττ{} ττ[]
ννliterals
νν
18
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
The RDF Query Language
n Declarative query language for RDF description basesgrelies on a typed data model (literal & container types + union types)gfollows a functional approach (basic queries and filters)gadapts the functionality of semistructured or XML query languages to
RDF, but also: • treats properties as self-existent individuals• exploits taxonomies of node and edge labels • allows querying of schemas as semistructured data
n Relational interpretation of schemas & resource descriptionsgClasses (unary relations)gProperties (binary relations)
gContainers (n-ary relations)
1010
19
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Browsing Portal Catalogs with RQL
n Simple set queries on class and property extents:gFind the resources in the extent of the property creates
createsØ {{ [www.portal.gr/rodin424, www.rodin.fr/thinker.gif],
[www.portal.gr/picasso132, museoreinasofia.mcu.es/guernica.gif],[www.portal.gr/picasso132, www.artchive.com/woman.jpg] }}
gFind the resources of type painter and sculptorExtResource intersect Sculpture
Ø {{ www.rodin.fr/thinker.gif }}
n Schema constructs used as query terms & support for automatic
query expansion (similar to thesauri-based IRS)
gUseful to query resources with minimal schema knowledge
Includes paints & sculpts
Multiply classified resources
20
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Personalizing Portal Catalogs with RQL
n Navigational queries on semistructured resource descriptionsgFind the Museum resources that have been modified in year 2000.select xfrom Museum{x}.last_modified{y}where y >= 2000/01/01
Ø {{museoreinasofia.mcu.es}}
hSimilar functionality to semistructured or XML query languages (Lorel,UnQL, XQL, XML-QL, XML-GL)§ Useful in the absence of schema information or when multiple
schemas are used to describe resources
Data paths not foreseen in the schema
1111
21
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Querying Portal Catalogs with Large Schemas
n Filtering both resource descriptions and schemasgFind the paintings having as technique “oil on canvas” that have
been created by a neo-impressionist painter
select yfrom {:$X}creates{y:Painting}.technique{z}where $X <= neo-impressionist and z = “oil on canvas”
Data filtering with schema information
Schema Filtering on Class hierarchies
22
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Querying Portal Schemas with RQL
n Pure schema queriesgFind the properties which specialize the property creates and may
have as domain the class Painter along with their corresponding range classesselect @P, $Yfrom {:Painter}@P{:$Y}where @P <= creates
Ø {{ [creates, Artifact],[creates, Painting],[creates, Sculpture],[paints, Painting] }}
Schema filtering onproperty hierarchies
All Properties defined orinherited in class Painter
1212
23
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
RQL: Examples
ns1#creates
ns1#Painter
ns1#Artifact
ns1#Painting ns1#Sculpture
ns1#paints
ns1#Painter ns1#Painting ns1#Sculpture
ns1#paints
ns1#creates
ns1#Artist
ns1#Painter ns1#Sculptor
String
Stringns1#Artifact
ns1#Painting ns1#Sculpture
ns1#Style
String
ns1#paints
ns1#creates ns1#has_style
ns1#has_material
ns1#fname
ns1#lname
ns1#sculpts odp#ExtPagedc#last_modified
Date
ns1#Impressionist
ns1#PostImpressionist
ns1#Painter ns1#Painting ns1#Sculpture
ns1#paints
ns1#creates
h Similar functionality to DBMS schema QLs (SchemaSQL, XSQL)§ Useful for large schemas (integrating ontologies and thesauri)
24
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Putting it all Together
n Nested schema and data queriesgFind the resources modified after 2000/01/01 which can be reached
by a property applied to the class Painting and its subclassesselect R, yfrom (select @P
from {:$X}@Pwhere $X <= Painting){R}.{y}last_modified{z}
where z >= 2000/01/01
Ø {{ [exhibited, museoreinasofia.mcu.es] }}
n Subcommunities may use different schemas while sharing the same description base
R ranges over the labelsof type property
1313
25
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
RQL:Examples
PortalSchema
PortalResourceDescriptions
“oil on canvas”technique
exhibited
&r3
&r2
&r4
Painting
Museumexhibited
techniqueString
2000/06/09last_modified
2000/01/02last_modified
26
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Putting it all Together
n Schema and data queriesgFind all metadata about the resources of the site museoreinasofia.mcu.es
select x,$$Y,$P,z,$$Wfrom {x:$$Y}$P{z:$$W}where x like “*museoreinasofia.mcu.es*” or
y like “*museoreinasofia.mcu.es*”
Ø {{[www.portal.gr/picasso132, Painter, paints, museoreinasofia.mcu.es/guernica.gif, Painting],
[museoreinasofia.mcu.es/guernica.gif, Painting, exhibited, museoreinasofia.mcu.es, Museum],[museoreinasofia.mcu.es/guernica.gif, Painting, technique, “oil on canvas”, string], [museoreinasofia.mcu.es, ExtResource, title, “Reina Sophia Museum”, string], [museoreinasofia.mcu.es, ExtResource, last_modified, 2000/06/09, date], ….}}
n Subcommunities may use both different schemas and description bases
URLs’ pattern matching
1414
27
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
The Core Portal Middleware
Parser
VRP InternalRDF Model
Validator
RD
F Lo
ader
Load
ing
RD
F Ja
va A
PIsICS-VRP
JDBC
Class Property
ORDBMS
DBM
S RD
F qu
ery
API
SQ
L3+
SP
I fun
ctio
ns
LIBC++
p_namedomain range
Artist creates Artifact
c_name
Artist
URI
creates
subcl
Painter
supcl
Artist
subpr
paints
suppr
creates
SubClassSubProperty
source
paints
target
creates
Artist creates
SQL3 SQL3
ICS-RQL Interpreter
Typing
Evaluation
GraphConstructor
Parser
28
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
The ICS-FORTH R&D Activitieshttp://www.ics.forth.gr/proj/isst/RDF
n The Validating RDF Parser (VRP): Karsten Tolle Diploma Thesis
gThe First RDF Parser supporting semantic validation of both resource descriptions and schemas
n The RDF Schema Specific DataBase (RSSDB): Sophia Alexaki Ms. Thesis
gThe First RDF Store using schema knowledge to automatically generate an Object-Relational (SQL3) representation of RDF metadata and load resource descriptions
n The RDF Query Language (RQL): Greg Karvournarakis Ms. Thesis
gThe First Declarative Language for uniformly querying RDF schemas and resource descriptions
1515
29
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Architecture of Community Web Portals
Query Engine
Session Manager
URL ResolverMetadata
Store
Painter
Museum
Painting
XML WrapperResourcesXMLXML
Logical Middle Tier
CWEB/Application Server
Other docs
news, reports
on the Intranete.g. mails,
Well-formedXML docson the Web
XML
XML enabledDBMS
Client Tier
SchemaGenerator
RDF/XMLLoader
XML/XSLProcessor
ResourceDescription
Interface
Query BrowsingInterface
Artist
XML/XSL
Middleware APIs
http
http
Artist
URL
RDF/XMLSchema
RDF/XMLDescriptions
RQL
30
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Describing Community Information Resources
Automatic AutomaticAutomaticManagement(all kinds)
Manual Manual ManualStructure Descriptive(semistructured,
structured)
Automatic Query MediationQuery MediationManualContent Descriptive(unstructured,semistructured,
structured)
CollectionStatic Dynamic
IndividualMetadata TypeResources Nature
Sem
antic
sS
ynta
xS
yste
m
1616
31
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Related Work
n Information Integration Systemsg YAT (INRIA Verso) www-rocq.inria.fr/~simeon/YATg MIX (San Diego) www.db.ucsd.edu/projects/MIXg TSIMMIS (Stanford) www-db.stanford.edu/tsimmisg GARLIC (IBM) www.almaden.ibm.com/cs/garlicg DISCO (INRIA Caravel) rodin.inria.fr/Eprototype_Disco.htmlg DIOM (Alberta, Canada) ugweb.cs.ualberta.ca/~diomg Nomenclator (Bell Labs) cm.bell-labs.com/cm/cs/what/nomenclatorg MANIFOLD (AT&T) www.research.att.com/~levy/imhome.htmlg Picsel (ORSAY) www.lri.fr/~picselg CoBase (California) cobase-www.cs.ucla.edug Momis (Modena, Italy) sparc20.dsi.unimo.it/Momisg InfoHarness & InfoQuilt (Georgia) lsdis.cs.uga.edu/proj/proj.htmlg Infomaster (Stanford) infomaster.stanford.edu/infomaster-info.htmlg InfoSleuth (MCC,Texas) www.mcc.com:80/projects/infosleuthg Ariadne (Southern California) www.isi.edu/ariadneg SIMS (Southern California) www.isi.edu/simsg HERMES (Maryland, College Park) www.cs.umd.edu/projects/hermesg Carnot (MCC,Texas) www.mcc.com:80/projects/carnot
n Main Focus on structured and semi-structured data integration
32
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Related Work
n Ontology-based Information SystemsgOn-To-Knowledge (IST-1999-10132) www.ontoknowledge.org
gIBROW (IST-1999-19005) www.swi.psy.uva.nl/projects/ibrow/home.html
gOntoSeek (Padova, Italy) www.ladseb.pd.cnr.it/infor/ontology/ontology.html
gObserver (Basque Country, Spain) siul02.si.ehu.es/~jirgbdat/OBSERVER
gOntological Mediation (New York at Buffalo) www.cs.buffalo.edu/~aec/OM
n Main Focus on knowledge integration
n Ontology-driven Document Annotation SystemsgOntobroker (Karlsruhe, Germany) ontobroker.aifb.uni-karlsruhe.de
gSHOE (Maryland, College Park) www.cs.umd.edu/projects/plus/SHOE
gWebKB (Griffith, Australia) meganesia.int.gu.edu.au/~phmartin/WebKB
gOHTML, XAL
n Main Focus on intelligent document access
1717
33
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Related Work
n Corporate Knowledge Management and Ontological Engineering gCommonKADS (ESPRIT P5248) www.swi.psy.uva.nl/projects/CommonKADS
gCyc (MCC,Texas) www.mcc.com:80/projects/cyc
gTOVE (Toronto) www. eil.utoronto.ca/eil.html
gEnterprise (DTI, ISIP Programme) www.aiai.ed.ac.uk/~entprise
gKactus (ESPRIT Project 8145) www.swi.psy.uva.nl/projects/Kactus/home.html
gKRAFT (Liverpool , U.K.) www.csc.liv.ac.uk/~kraft
gO-Plan (Edinburgh , U.K.) www.aiai.ed.ac.uk/~oplan
gGeneralized Upper Model (GMD) www.darmstadt.gmd.de/publish/komet/gen-um/newUM.html
gONTOINT (CNR, Rome, Italy) saussure.irmkant.rm.cnr.it/onto/ontoint.html
gPlanetOnto (Open University, U.K.) kmi.open.ac.uk/projects/planetonto
n Main Focus on domain modeling and knowledge representation
34
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Related Work
n Digital LibrariesgElectronic Environmental DL (Berkeley) elib.cs.berkeley.edugInformedia (Carnegie-Mellon) www.informedia.cs.cmu.edugInterspace (Illinois) dli.grainger.uiuc.edugUMDL (Michigan) www.si.umich.edu/UMDLgDL Technologies (Stanford) www-diglib.stanford.edugAlexandria (Santa Barbara) alexandria.sdc.ucsb.edugADEPT (Georgia) lsdis.cs.uga.edu/~adeptgERCIM DELOS DL (Europe) www.ercim.org/delosgUKOLN (U.K.) www.ukoln.ac.ukgCIDL (Canada) www.nlc-bnc.ca/cidlgWaikato (New Zealand) www.cs.waikato.ac.nz/cgi-bin/nzdlbeta/gw
n Main Focus on system infrastructure for global information sharing
1818
35
ICS-FORTH & Univ. of Crete Christophides Vassilis December 2000
Summary and Future Work
n Our contribution:gFirst declarative language for uniformly querying RDF schemas and
resource descriptionsgFormal model for RDF/S (+ typed, operational semantics)
n Functionality evaluation:gDeveloped in the context of the EC project C-Web (http://cweb.inria.fr)gAccepted for use in the ongoing EC projects:
• MesMuses (http://aquarelle.inria.fr/mesmuses)• Ontoknowledge (http://www.ontoknowledge.org)
n Performance evaluation:gTestbed: Open Directory RDF dump
• 321,988 Topics (~100M), 2,123,382 Sites (~700M)gOptimization opportunities:
• Schema and Data Indexing Techniques (transitive closure queries)
• Heuristics for Algebraic Transformations (schema and data queries)