2018 search results - page 3 / 404 » Code Normal Forms |
ICDT
2012
ACM
12 years 6 days ago
2012
ACM
We introduce a new normal form, called essential tuple normal form (ETNF), for relations in a relational database where the constraints are given by functional dependencies and jo...
PODS
2002
ACM
14 years 10 months ago
2002
ACM
TKDE
2002
13 years 9 months ago
2002
AAAI
2008
14 years 4 days ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
ISMIS
2005
Springer
14 years 3 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...