Data

Tools

Indexes

Applications

Experiments

Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / cjheath/orm-syntax-and-semantics-docs issues and pull requests

#10 - Unique constraint covering all roles of a Fact Type is tautological

Issue - State: closed - Opened by cjheath 6 months ago - 1 comment

#9 - Default role names

Issue - State: closed - Opened by cjheath 7 months ago - 1 comment

#8 - Link Fact Type predicates and ability for PATHs to traverse them

Issue - State: open - Opened by cjheath 7 months ago - 9 comments

#7 - Identification formalisation is incorrect for n-ary fact types

Issue - State: closed - Opened by cjheath 7 months ago - 17 comments

#6 - Identifying vs non-identifying subtypes is not formal

Issue - State: closed - Opened by cjheath 7 months ago - 2 comments

#5 - Arity of JoinPath in formalisation of Value-comparison constraint in glossary

Issue - State: closed - Opened by cjheath 7 months ago - 10 comments

#3 - Glossary: Provide graphical examples of each type of ring constraint

Issue - State: closed - Opened by cjheath 7 months ago - 1 comment

#2 - Role and Type Cardinality

Issue - State: closed - Opened by cjheath 7 months ago - 2 comments

#1 - Must unary and binary predicates include the ? placeholders

Issue - State: closed - Opened by cjheath 7 months ago - 1 comment