scientific article; zbMATH DE number 4005604

MaRDI QIDQ3756511zbMATH OpenFDO

Authors Peter van Emde Boas

Publication date 1986

zbMATH Keywords

algebraic equalities and inequalitiesconstraintsequation solversformalization of rulesHorn clausesinference ruleslogic programmingregulationsregulatory informationrelational data basesrelational semantics

Mathematics Subject Classification ID

Data structures (68P05) Information storage and retrieval of data (68P20) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Integrating relational databases and constraint languages
• Rule-based languages
• Unifying framework for rule semantics: application to gene expression data
• MWeb: a principled framework for modular web rule bases and its semantics
• An algebraic structured model of formal knowledge representations (frames and rules)

Cited in

(6)

• Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
• Back and Forth between Rules and SE-Models
• scientific article; zbMATH DE number 2086135 (Why is no real title available?)
• Unifying framework for rule semantics: application to gene expression data
• Query optimization using rewrite rules
• Containment in Rule-Based Models

This page was built for publication:

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