3948 search results - page 548 / 790 » Integration Workbench: Integrating Schema Integration Tools |
221
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
232
click to vote
ASWC
2009
Springer
15 years 4 months ago
2009
Springer
Driven by the goal of automating data analyses in the field of bioinformatics, SHARE (Semantic Health and Research Environment) is a specialized SPARQL engine that resolves queries...
290
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Logical constraints, (e.g., 'phone numbers in toronto can have prefixes 416, 647, 905 only'), are ubiquitous in relational databases. Traditional integrity constraints, ...
167
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Design principles for XML schemas that eliminate redundancies and avoid update anomalies have been studied recently. Several normal forms, generalizing those for relational databa...
175
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Scholarly entities, such as articles, journals, authors and institutions, are now mostly ranked according to expert opinion and citation data. The Andrew W. Mellon Foundation fund...