Теория баз данных и Haskell.

И еще разок почти то же самое (как сейчас):
data Domain    = Bool | Integer
type Attribute = String
type Header    = [Attribute]
type Tuple     = Attribute -> Domain
type Body      = [Tuple]
type Relation  = (Header, Body)

Понятно, что в Header нужно еще включить типы. Но вообще непонятно, нужен ли этот Header. Википедия все же не самый достоверный источник.

> Хотелось бы чистой математики, достаточно одной статьи.

http://arxiv.org/abs/math/0204245 Seven Lectures on the Universal Algebraic Geometry Lecture 7. Databases and knowledge bases. Geometrical aspect

Если серьезно, то имхо что нибудь по Дейталогу + http://www.finstat.ru/markov-bd.htm

А что, на русском лучше, чем на английском пишут?

1) data Domain = Bool | Integer не должно скомпилироваться. Потому как идентификаторы Bool и Integer уже есть.

2) String -> Domain - это, пардон, что такое? Зачем тебе разбивать все возможные строки на два подмножества?

Вообщем сделал пока так:
-- Domain - attribute value
type Domain    = String
-- Domain name — attribute
type Attribute = String
-- A row of attribute values — tuple 
type Tuple     = Attribute -> Domain

type Heading   = [Attribute]
type Body      = [Tuple]
type Relation  = (Heading, Body)

Но это не совсем то, что хочется. Прежде всего хотелось бы чтобы Domain был как бы составным типом, то есть мог содержать хоть строку, хоть число, хоть логический тип. Не совсем еще понимаю, как правильно писать на Haskell.

Вообщем начинаю с начала писать с объяснениями. Есть таблица базы данных (Relation). Она состоит из заголовка и тела:
  type Relation = (Heading, Body)
В заголовке в определенном порядке должны быть записаны названия атрибутов и их типы. Чтобы порядок сохранялся, это должен быть лист:
  type Heading = [Attribute]
Атрибут состоит из имени и типа (домена):
  type Attribute = (Name, Domain)
  type Name      = String
  type Domain    = TEXT | INTEGER
Теперь тело таблицы. Оно состоит из кортежей (tuple):
  type Body      = [Tuple]
Кортеж — это частичная функция от атрибута, возвращающая его значение.
  type Tuple     = Attribute -> ?

Вот тут я не знаю, как правильно написать. Нужно, чтобы под тип tuple подходило и
(Name, TEXT) -> String
и
(Name, Integer) -> Integer

Как это сделать, и возможно ли это вообще? И если невозможно, то как сделать правильно?

> Прежде всего хотелось бы чтобы Domain был как бы составным типом, то есть мог содержать хоть строку, хоть число, хоть логический тип.

data Domain = DomStr String | DomNum Integer | DomBool Bool

И убери многочисленные type-ы, они очень мешают понимать сообщения компилятора об ошибках. data и newtype гораздо удобнее.

> Вот тут я не знаю, как правильно написать. Нужно, чтобы под тип tuple подходило и > (Name, TEXT) -> String > и > (Name, Integer) -> Integer

Зачем? Почему не просто Name -> String и Name -> Integer? Обычный тип с параметром.

> Прежде всего хотелось бы чтобы Domain был как бы составным типом, то есть мог содержать хоть строку, хоть число, хоть логический тип.

data Domain = DomStr String | DomNum Integer | DomBool Bool

И убери многочисленные type-ы, они очень мешают понимать сообщения компилятора об ошибках. data и newtype гораздо удобнее.

> Вот тут я не знаю, как правильно написать. Нужно, чтобы под тип tuple подходило и > (Name, TEXT) -> String > и > (Name, Integer) -> Integer

Зачем? Почему не просто Name -> String и Name -> Integer? Обычный тип с параметром.

Имя конструктора может совпадать с именем типа. Так что вполне
можно так:

data Domain = String String | Number Integer

instance Show Domain where
	show (String s) = s
	show (Number n) = show n

proba = [Number 0, String "Hello", String "all", Number 12]

Main> :t proba
proba :: [Domain]
Main> show proba
"[0,Hello,all,12]"

> Так что вполне > можно так:

> data Domain = String String | Number Integer

Можно, но я бы не советовал. ИМХО, не стоит использовать имя типа как имя конструктора в ДРУГОМ типе.

> instance Show Domain where > show (String s) = s > show (Number n) = show n

Уй. Можно, конечно, но, ИМХО, instance Show, в котором из выведенной информации не ясно, какого типа (хотя бы примерно) эта информация - неправилен.

>Если серьезно, то имхо что нибудь по Дейталогу + http://www.finstat.ru/markov-bd.htm

>Текущую версию СДБД “DLQ” можно найти на авторском сайте http://www.datalab.kharkov.ua в разделе download.

http://www.datalab.kharkov.ua Домен не найден. Ы? R.I.P.?