Sciweavers

108 search results - page 6 / 22
» XML reasoning made practical
Sort
View
OPODIS
2007
14 years 8 days ago
Small-World Networks: From Theoretical Bounds to Practical Systems
Abstract. In small-world networks, each peer is connected to its closest neighbors in the network topology, as well as to additional long-range contact(s), also called shortcut(s)....
François Bonnet, Anne-Marie Kermarrec, Mich...
EDBT
1990
ACM
108views Database» more  EDBT 1990»
14 years 2 months ago
Deductive Databases - Theory Meets Practice
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
Carlo Zaniolo
SIGMOD
1999
ACM
99views Database» more  SIGMOD 1999»
14 years 3 months ago
Belief Reasoning in MLS Deductive Databases
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
Hasan M. Jamil
PODS
2005
ACM
99views Database» more  PODS 2005»
14 years 11 months ago
XML type checking with macro tree transducers
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...
VLDB
2005
ACM
74views Database» more  VLDB 2005»
14 years 4 months ago
Designing Information-Preserving Mapping Schemes for XML
An XML-to-relational mapping scheme consists of a procedure for shredding XML documents into relational databases, a procedure for publishing databases back as documents, and a se...
Denilson Barbosa, Juliana Freire, Alberto O. Mende...