Sciweavers

3836 search results - page 59 / 768
» Semantics of Database Transformations
Sort
View
ENTCS
2008
85views more  ENTCS 2008»
13 years 10 months ago
Innermost Termination of Rewrite Systems by Labeling
Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
René Thiemann, Aart Middeldorp
VLDB
2007
ACM
225views Database» more  VLDB 2007»
14 years 10 months ago
An Approach to Optimize Data Processing in Business Processes
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...
Marko Vrhovnik, Holger Schwarz, Oliver Suhre, Bern...
AINA
2005
IEEE
14 years 3 months ago
Preserving Composition in XML Object Relational Storage
XML data can be stored in different types of databases including Object-Relational Databases (ORDB). Using ORDB, we get the benefit of relational maturity and the richness of obje...
Eric Pardede, J. Wenny Rahayu, David Taniar
VLDB
2002
ACM
91views Database» more  VLDB 2002»
13 years 9 months ago
DTD-Directed Publishing with Attribute Translation Grammars
We present a framework for publishing relational data in XML with respect to a fixed DTD. In data exchange on the Web, XML views of relational data are typically required to confo...
Michael Benedikt, Chee Yong Chan, Wenfei Fan, Raje...
PPDP
2005
Springer
14 years 3 months ago
Program transformation by templates based on term rewriting
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
Yuki Chiba, Takahito Aoto, Yoshihito Toyama