Sciweavers

490 search results - page 11 / 98
» Data generation using declarative constraints
Sort
View
PODS
2010
ACM
197views Database» more  PODS 2010»
14 years 11 months ago
When data dependencies over SQL tables meet the logics of paradox and S-3
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
Sven Hartmann, Sebastian Link
JWSR
2008
109views more  JWSR 2008»
14 years 11 months ago
DsCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages
BPEL is emerging as an open-standards language for Web service composition. However, its procedural style can lead to inflexible and tangled code for managing a crosscutting aspec...
Qinyi Wu, Calton Pu, Akhil Sahai, Roger S. Barga
ADC
2005
Springer
124views Database» more  ADC 2005»
15 years 5 months ago
Removing XML Data Redundancies Using Functional and Equality-Generating Dependencies
We study the design issues of data-centric XML documents where (1) there are no mixed contents, i.e., each element may have some subelements and attributes, or it may have a singl...
Junhu Wang, Rodney W. Topor
129
Voted
ICST
2011
IEEE
14 years 3 months ago
Constraint-Based Program Debugging Using Data Structure Repair
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...
Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sar...
INFOCOM
2010
IEEE
14 years 10 months ago
Value-aware Resource Allocation for Service Guarantees in Networks
—The traditional formulation of the total value of information transfer is a multi-commodity flow problem. Here, each data source is seen as generating a commodity along a fixe...
Parimal Parag, Srinivas Shakkottai, Jean-Fran&cced...