Data analysis using a geometrical representation of predicate calculus

DOI10.1016/0020-0255(87)90010-7zbMath0624.68094MaRDI QIDQ578939

Ephraim Nissan

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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