Data analysis using a geometrical representation of predicate calculus

DOI10.1016/0020-0255(87)90010-7zbMath0624.68094OpenAlexW2065149961MaRDI 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 analysisdatabase analysisexpert systemFormal Data Basegeometric predicate formsGeometric representations for predicate differencesinfospatial derivativePredicate calculus over the attribute space

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) Data structures (68P05) Information storage and retrieval of data (68P20)

Cites Work

• 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
• 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

This page was built for publication: Data analysis using a geometrical representation of predicate calculus