Sub-algebras of Finite Lattice Implication Algebra.
Yang XuJun MaJiajun LaiPublished in: IFSA (2) (2007)
Keyphrases
- boolean algebra
- distributive lattices
- cardinality constraints
- algebraic structure
- relation algebra
- functional dependencies
- real numbers
- complete axiomatization
- valued logic
- case study
- finite number
- set theory
- fuzzy relations
- integer points
- interval algebra
- real time
- theorem prover
- neural network
- general theory
- finite automata
- spatial reasoning
- lattice structure
- relational algebra
- complex objects
- integrity constraints
- algebraic geometry
- query language
- algebraic expressions
- association rules
- databases