Data analysis using a geometrical representation of predicate calculus
From MaRDI portal
Publication:578939
DOI10.1016/0020-0255(87)90010-7zbMath0624.68094MaRDI QIDQ578939
Publication date: 1987
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0255(87)90010-7
data analysis; database analysis; expert system; Formal Data Base; geometric predicate forms; Geometric representations for predicate differences; infospatial derivative; Predicate calculus over the attribute space
68Q65: Abstract data types; algebraic specification
03B10: Classical first-order logic
68P05: Data structures
68P20: Information storage and retrieval of data
Cites Work
- Ordering conjunctive queries
- Synthesis of unnormalized relations incorporating more meaning
- The relational model with relation-valued attributes
- Boolean calculus of differences
- An upper bound on the number of execution nodes for a distributed join
- Dynamic multi-dimensional data structures based on quad- and k-d trees
- Quad trees: A data structure for retrieval by composite keys
- Algebraic theory of brick packing. II
- On the foundations of the universal relation model
- Multidimensional binary search trees used for associative searching
- Tiling with polyominoes
- $ℵ_0$-categoricity of linear orderings
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item