3 search results - page 1 / 1 » On Keys and Functional Dependencies as First-Class Citizens ... |
CADE
2006
Springer
14 years 5 months ago
2006
Springer
We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description log...
DLOG
2008
13 years 7 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
DAC
2007
ACM
14 years 5 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...