Data analysis using a geometrical representation of predicate calculus

DOI10.1016/0020-0255(87)90010-7MaRDI QIDQ578939zbMATH OpenOpenAlexFDO

Authors 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

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

Review text

Predicate calculus over the attribute space as a basis for database analysis and design is considered. Geometric representations for predicate differences are given in an n-dimensional space providing a tabular method to decompose queries. The approach is in close connection with the concepts of ``infospatial derivative and ``projection-solid infospatial approach suggested by the same author in 1983. The paper is part of the work carried out in the project FDB (Formal Data Base). Extensions to expert system applications are also given here.

Recommendations

• Logical aspects of spatial databases
• scientific article; zbMATH DE number 3860438
• Geometrical aspect of databases and knowledge bases.
• Comparison of functional and predicative query paradigms
• Relational and Kleene-Algebraic Methods in Computer Science

Cites work

• ℵ_0-categoricity of linear orderings
• Algebraic theory of brick packing. II
• An upper bound on the number of execution nodes for a distributed join
• Boolean calculus of differences
• Dynamic multi-dimensional data structures based on quad- and k-d trees
• scientific article; zbMATH DE number 3831909 (Why is no real title available?)
• scientific article; zbMATH DE number 3831938 (Why is no real title available?)
• scientific article; zbMATH DE number 3837413 (Why is no real title available?)
• scientific article; zbMATH DE number 3646329 (Why is no real title available?)
• scientific article; zbMATH DE number 3141674 (Why is no real title available?)
• scientific article; zbMATH DE number 3852447 (Why is no real title available?)
• scientific article; zbMATH DE number 3860441 (Why is no real title available?)
• scientific article; zbMATH DE number 3860442 (Why is no real title available?)
• scientific article; zbMATH DE number 3874670 (Why is no real title available?)
• scientific article; zbMATH DE number 3904003 (Why is no real title available?)
• scientific article; zbMATH DE number 3750248 (Why is no real title available?)
• scientific article; zbMATH DE number 3640922 (Why is no real title available?)
• scientific article; zbMATH DE number 2021555 (Why is no real title available?)
• Multidimensional binary search trees used for associative searching
• On the foundations of the universal relation model
• Ordering conjunctive queries
• Quad trees: A data structure for retrieval by composite keys
• Synthesis of unnormalized relations incorporating more meaning
• The relational model with relation-valued attributes
• Tiling with polyominoes

Cited in

(3)

• Analytical space for data representation and interactive analysis
• Convexity and logical analysis of data
• Errata: Data analysis using a geometrical representation of predicate calculus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q578939)