Sciweavers

2070 search results - page 329 / 414
» Querying Communities in Relational Databases
Sort
View
LFCS
2009
Springer
15 years 5 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
WWW
2006
ACM
15 years 11 months ago
Symmetrically exploiting XML
Path expressions are the principal means of locating data in a hierarchical model. But path expressions are brittle because they often depend on the structure of data and break if...
Shuohao Zhang, Curtis E. Dyreson
VLDB
2007
ACM
126views Database» more  VLDB 2007»
15 years 11 months ago
SOR: A Practical System for Ontology Storage, Reasoning and Search
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...
Chen Wang, Jean-Sébastien Brunner, Jing Lu,...
SIGMOD
2005
ACM
114views Database» more  SIGMOD 2005»
15 years 11 months ago
Semantic characterizations of navigational XPath
We give semantic characterizations of the expressive power of navigational XPath (also called Core XPath) in terms of first order logic. XPath can be used to specify sets of nodes...
Maarten Marx, Maarten de Rijke
PODS
2004
ACM
110views Database» more  PODS 2004»
15 years 11 months ago
A Characterization of First-Order Topological Properties of Planar Spatial Data
d abstract) Michael Benedikt Bell Labs Jan Van den Bussche Limburgs Universitair Centrum Christof L?oding Lehrstuhl Informatik VII RWTH Aachen Thomas Wilke Institut f?ur Informatik...
Christof Löding, Jan Van den Bussche, Michael...