Hydra.Langs.RelationalModel

An interpretation of Codd's Relational Model, as described in 'A Relational Model of Data for Large Shared Data Banks' (1970). Types (domains) and values are parameterized so as to allow for application-specific implementations. No special support is provided for nonsimple domains; i.e. relations are assumed to be normalized.

Documentation

newtype ColumnName

A name for a domain which serves to identify the role played by that domain in the given relation; a 'role name' in Codd

Constructors

ColumnName

Fields

• unColumnName :: String

Instances

Read ColumnName

Defined in Hydra.Langs.RelationalModel

Methods

readsPrec :: Int -> ReadS ColumnName

readList :: ReadS [ColumnName]

readPrec :: ReadPrec ColumnName

readListPrec :: ReadPrec [ColumnName]

Show ColumnName

Defined in Hydra.Langs.RelationalModel

Methods

showsPrec :: Int -> ColumnName -> ShowS

show :: ColumnName -> String

showList :: [ColumnName] -> ShowS

Eq ColumnName

Defined in Hydra.Langs.RelationalModel

Methods

(==) :: ColumnName -> ColumnName -> Bool

(/=) :: ColumnName -> ColumnName -> Bool

Ord ColumnName

Defined in Hydra.Langs.RelationalModel

Methods

compare :: ColumnName -> ColumnName -> Ordering

(<) :: ColumnName -> ColumnName -> Bool

(<=) :: ColumnName -> ColumnName -> Bool

(>) :: ColumnName -> ColumnName -> Bool

(>=) :: ColumnName -> ColumnName -> Bool

max :: ColumnName -> ColumnName -> ColumnName

min :: ColumnName -> ColumnName -> ColumnName

_ColumnName :: Name

data ColumnSchema t

An abstract specification of the domain represented by a column in a relation; a role

Constructors

ColumnSchema

Fields

• columnSchemaName :: ColumnName

  A unique name for the column

• columnSchemaDomain :: t

  The domain (type) of the column

• columnSchemaIsPrimaryKey :: Bool

  Whether this column represents the primary key of its relation

Instances

Read t => Read (ColumnSchema t)

Defined in Hydra.Langs.RelationalModel

Methods

readsPrec :: Int -> ReadS (ColumnSchema t)

readList :: ReadS [ColumnSchema t]

readPrec :: ReadPrec (ColumnSchema t)

readListPrec :: ReadPrec [ColumnSchema t]

Show t => Show (ColumnSchema t)

Defined in Hydra.Langs.RelationalModel

Methods

showsPrec :: Int -> ColumnSchema t -> ShowS

show :: ColumnSchema t -> String

showList :: [ColumnSchema t] -> ShowS

Eq t => Eq (ColumnSchema t)

Defined in Hydra.Langs.RelationalModel

Methods

(==) :: ColumnSchema t -> ColumnSchema t -> Bool

(/=) :: ColumnSchema t -> ColumnSchema t -> Bool

Ord t => Ord (ColumnSchema t)

Defined in Hydra.Langs.RelationalModel

Methods

compare :: ColumnSchema t -> ColumnSchema t -> Ordering

(<) :: ColumnSchema t -> ColumnSchema t -> Bool

(<=) :: ColumnSchema t -> ColumnSchema t -> Bool

(>) :: ColumnSchema t -> ColumnSchema t -> Bool

(>=) :: ColumnSchema t -> ColumnSchema t -> Bool

max :: ColumnSchema t -> ColumnSchema t -> ColumnSchema t

min :: ColumnSchema t -> ColumnSchema t -> ColumnSchema t

_ColumnSchema :: Name

_ColumnSchema_name :: Name

_ColumnSchema_domain :: Name

_ColumnSchema_isPrimaryKey :: Name

data ForeignKey

A mapping from certain columns of a source relation to primary key columns of a target relation

Constructors

ForeignKey

Fields

• foreignKeyForeignRelation :: RelationName

  The name of the target relation

• foreignKeyKeys :: Map ColumnName ColumnName

Instances

Read ForeignKey

Defined in Hydra.Langs.RelationalModel

Methods

readsPrec :: Int -> ReadS ForeignKey

readList :: ReadS [ForeignKey]

readPrec :: ReadPrec ForeignKey

readListPrec :: ReadPrec [ForeignKey]

Show ForeignKey

Defined in Hydra.Langs.RelationalModel

Methods

showsPrec :: Int -> ForeignKey -> ShowS

show :: ForeignKey -> String

showList :: [ForeignKey] -> ShowS

Eq ForeignKey

Defined in Hydra.Langs.RelationalModel

Methods

(==) :: ForeignKey -> ForeignKey -> Bool

(/=) :: ForeignKey -> ForeignKey -> Bool

Ord ForeignKey

Defined in Hydra.Langs.RelationalModel

Methods

compare :: ForeignKey -> ForeignKey -> Ordering

(<) :: ForeignKey -> ForeignKey -> Bool

(<=) :: ForeignKey -> ForeignKey -> Bool

(>) :: ForeignKey -> ForeignKey -> Bool

(>=) :: ForeignKey -> ForeignKey -> Bool

max :: ForeignKey -> ForeignKey -> ForeignKey

min :: ForeignKey -> ForeignKey -> ForeignKey

_ForeignKey :: Name

_ForeignKey_foreignRelation :: Name

_ForeignKey_keys :: Name

newtype PrimaryKey

A primary key of a relation, specified either as a single column, or as a list of columns

Constructors

PrimaryKey

Fields

• unPrimaryKey :: [ColumnName]

Instances

Read PrimaryKey

Defined in Hydra.Langs.RelationalModel

Methods

readsPrec :: Int -> ReadS PrimaryKey

readList :: ReadS [PrimaryKey]

readPrec :: ReadPrec PrimaryKey

readListPrec :: ReadPrec [PrimaryKey]

Show PrimaryKey

Defined in Hydra.Langs.RelationalModel

Methods

showsPrec :: Int -> PrimaryKey -> ShowS

show :: PrimaryKey -> String

showList :: [PrimaryKey] -> ShowS

Eq PrimaryKey

Defined in Hydra.Langs.RelationalModel

Methods

(==) :: PrimaryKey -> PrimaryKey -> Bool

(/=) :: PrimaryKey -> PrimaryKey -> Bool

Ord PrimaryKey

Defined in Hydra.Langs.RelationalModel

Methods

compare :: PrimaryKey -> PrimaryKey -> Ordering

(<) :: PrimaryKey -> PrimaryKey -> Bool

(<=) :: PrimaryKey -> PrimaryKey -> Bool

(>) :: PrimaryKey -> PrimaryKey -> Bool

(>=) :: PrimaryKey -> PrimaryKey -> Bool

max :: PrimaryKey -> PrimaryKey -> PrimaryKey

min :: PrimaryKey -> PrimaryKey -> PrimaryKey

_PrimaryKey :: Name

newtype Relation v

A set of distinct n-tuples; a table

Constructors

Relation

Fields

• unRelation :: Set [v]

Instances

(Read v, Ord v) => Read (Relation v)

Defined in Hydra.Langs.RelationalModel

Methods

readsPrec :: Int -> ReadS (Relation v)

readList :: ReadS [Relation v]

readPrec :: ReadPrec (Relation v)

readListPrec :: ReadPrec [Relation v]

Show v => Show (Relation v)

Defined in Hydra.Langs.RelationalModel

Methods

showsPrec :: Int -> Relation v -> ShowS

show :: Relation v -> String

showList :: [Relation v] -> ShowS

Eq v => Eq (Relation v)

Defined in Hydra.Langs.RelationalModel

Methods

(==) :: Relation v -> Relation v -> Bool

(/=) :: Relation v -> Relation v -> Bool

Ord v => Ord (Relation v)

Defined in Hydra.Langs.RelationalModel

Methods

compare :: Relation v -> Relation v -> Ordering

(<) :: Relation v -> Relation v -> Bool

(<=) :: Relation v -> Relation v -> Bool

(>) :: Relation v -> Relation v -> Bool

(>=) :: Relation v -> Relation v -> Bool

max :: Relation v -> Relation v -> Relation v

min :: Relation v -> Relation v -> Relation v

_Relation :: Name

newtype RelationName

A unique relation (table) name

Constructors

RelationName

Fields

• unRelationName :: String

Instances

Read RelationName

Defined in Hydra.Langs.RelationalModel

Methods

readsPrec :: Int -> ReadS RelationName

readList :: ReadS [RelationName]

readPrec :: ReadPrec RelationName

readListPrec :: ReadPrec [RelationName]

Show RelationName

Defined in Hydra.Langs.RelationalModel

Methods

showsPrec :: Int -> RelationName -> ShowS

show :: RelationName -> String

showList :: [RelationName] -> ShowS

Eq RelationName

Defined in Hydra.Langs.RelationalModel

Methods

(==) :: RelationName -> RelationName -> Bool

(/=) :: RelationName -> RelationName -> Bool

Ord RelationName

Defined in Hydra.Langs.RelationalModel

Methods

compare :: RelationName -> RelationName -> Ordering

(<) :: RelationName -> RelationName -> Bool

(<=) :: RelationName -> RelationName -> Bool

(>) :: RelationName -> RelationName -> Bool

(>=) :: RelationName -> RelationName -> Bool

max :: RelationName -> RelationName -> RelationName

min :: RelationName -> RelationName -> RelationName

_RelationName :: Name

data RelationSchema t

An abstract relation; the name and columns of a relation without its actual data

Constructors

RelationSchema

Fields

• relationSchemaName :: RelationName

  A unique name for the relation

• relationSchemaColumns :: [ColumnSchema t]

  A list of column specifications

• relationSchemaPrimaryKeys :: [PrimaryKey]

  Any number of primary keys for the relation, each of which must be valid for this relation

• relationSchemaForeignKeys :: [ForeignKey]

  Any number of foreign keys, each of which must be valid for both this relation and the target relation

Instances

Read t => Read (RelationSchema t)

Defined in Hydra.Langs.RelationalModel

Methods

readsPrec :: Int -> ReadS (RelationSchema t)

readList :: ReadS [RelationSchema t]

readPrec :: ReadPrec (RelationSchema t)

readListPrec :: ReadPrec [RelationSchema t]

Show t => Show (RelationSchema t)

Defined in Hydra.Langs.RelationalModel

Methods

showsPrec :: Int -> RelationSchema t -> ShowS

show :: RelationSchema t -> String

showList :: [RelationSchema t] -> ShowS

Eq t => Eq (RelationSchema t)

Defined in Hydra.Langs.RelationalModel

Methods

(==) :: RelationSchema t -> RelationSchema t -> Bool

(/=) :: RelationSchema t -> RelationSchema t -> Bool

Ord t => Ord (RelationSchema t)

Defined in Hydra.Langs.RelationalModel

Methods

compare :: RelationSchema t -> RelationSchema t -> Ordering

(<) :: RelationSchema t -> RelationSchema t -> Bool

(<=) :: RelationSchema t -> RelationSchema t -> Bool

(>) :: RelationSchema t -> RelationSchema t -> Bool

(>=) :: RelationSchema t -> RelationSchema t -> Bool

max :: RelationSchema t -> RelationSchema t -> RelationSchema t

min :: RelationSchema t -> RelationSchema t -> RelationSchema t

_RelationSchema :: Name

_RelationSchema_name :: Name

_RelationSchema_columns :: Name

_RelationSchema_primaryKeys :: Name

_RelationSchema_foreignKeys :: Name

newtype Relationship v

A domain-unordered (string-indexed, rather than position-indexed) relation

Constructors

Relationship

Fields

• unRelationship :: Set (Map ColumnName v)

Instances

(Read v, Ord v) => Read (Relationship v)

Defined in Hydra.Langs.RelationalModel

Methods

readsPrec :: Int -> ReadS (Relationship v)

readList :: ReadS [Relationship v]

readPrec :: ReadPrec (Relationship v)

readListPrec :: ReadPrec [Relationship v]

Show v => Show (Relationship v)

Defined in Hydra.Langs.RelationalModel

Methods

showsPrec :: Int -> Relationship v -> ShowS

show :: Relationship v -> String

showList :: [Relationship v] -> ShowS

Eq v => Eq (Relationship v)

Defined in Hydra.Langs.RelationalModel

Methods

(==) :: Relationship v -> Relationship v -> Bool

(/=) :: Relationship v -> Relationship v -> Bool

Ord v => Ord (Relationship v)

Defined in Hydra.Langs.RelationalModel

Methods

compare :: Relationship v -> Relationship v -> Ordering

(<) :: Relationship v -> Relationship v -> Bool

(<=) :: Relationship v -> Relationship v -> Bool

(>) :: Relationship v -> Relationship v -> Bool

(>=) :: Relationship v -> Relationship v -> Bool

max :: Relationship v -> Relationship v -> Relationship v

min :: Relationship v -> Relationship v -> Relationship v

_Relationship :: Name

newtype Row v

An n-tuple which is an element of a given relation

Constructors

Row

Fields

• unRow :: [v]

Instances

Read v => Read (Row v)

Defined in Hydra.Langs.RelationalModel

Methods

readsPrec :: Int -> ReadS (Row v)

readList :: ReadS [Row v]

readPrec :: ReadPrec (Row v)

readListPrec :: ReadPrec [Row v]

Show v => Show (Row v)

Defined in Hydra.Langs.RelationalModel

Methods

showsPrec :: Int -> Row v -> ShowS

show :: Row v -> String

showList :: [Row v] -> ShowS

Eq v => Eq (Row v)

Defined in Hydra.Langs.RelationalModel

Methods

(==) :: Row v -> Row v -> Bool

(/=) :: Row v -> Row v -> Bool

Ord v => Ord (Row v)

Defined in Hydra.Langs.RelationalModel

Methods

compare :: Row v -> Row v -> Ordering

(<) :: Row v -> Row v -> Bool

(<=) :: Row v -> Row v -> Bool

(>) :: Row v -> Row v -> Bool

(>=) :: Row v -> Row v -> Bool

max :: Row v -> Row v -> Row v

min :: Row v -> Row v -> Row v

_Row :: Name