3974 search results - page 327 / 795 » Metric Functional Dependencies |
200
click to vote
KR
2004
Springer
16 years 29 days ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
179
click to vote
TPHOL
2003
IEEE
16 years 26 days ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
203
click to vote
ICDT
2003
ACM
16 years 24 days ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
177
click to vote
HASE
2002
IEEE
16 years 16 days ago
2002
IEEE
Web services might be the most popular and powerful software development technology in today’s software world. Yet it brings software developers and tester a lot of challenges a...
202
click to vote
PADO
2001
Springer
16 years 21 hour ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...