scientific article; zbMATH DE number 4005604

zbMATH Open0619.68032MaRDI QIDQ3756511FDOQ3756511

Authors: Peter van Emde Boas 

Publication date: 1986

Title of this publication is not available (Why is that?)

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)

zbMATH Keywords

constraintsrelational semanticslogic programminginference rulesHorn clausesrelational data basesregulationsalgebraic equalities and inequalitiesequation solversformalization of rulesregulatory information

Mathematics Subject Classification ID

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

Cited In (5)

• Back and Forth between Rules and SE-Models
• Unifying framework for rule semantics: application to gene expression data
• Title not available (Why is that?)
• Containment in Rule-Based Models
• Query optimization using rewrite rules

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)