Formal Specification of Active Database Functionality: A Survey

Norman W Paton; Jack Campin; Alvaro A A Fernandes; M Howard Williams; Timos K Sellis

Formal Specification of Active Database Functionality: A Survey

Norman W Paton, Jack Campin, Alvaro A A Fernandes, M Howard Williams, Timos K Sellis (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Rules in Database Systems
Editors	Timos K Sellis
Publisher	Springer Nature
Pages	21-37
Number of pages	17
Volume	985
ISBN (Print)	3-540-60365-4
Publication status	Published - 1995
Event	Rules in Database Systems, Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25 - 27, 1995, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/rules/rules95.html#PatonCFW95http://dblp.uni-trier.de/rec/bibtex/conf/rules/PatonCFW95.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/rules/PatonCFW95

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Rules in Database Systems, Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25 - 27, 1995, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/rules/rules95.html#PatonCFW95http://dblp.uni-trier.de/rec/bibtex/conf/rules/PatonCFW95.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/rules/PatonCFW95

Access to Document

Cite this

@inproceedings{c44146111a144789bb18285513047e26,

title = "Formal Specification of Active Database Functionality: A Survey",

author = "Paton, {Norman W} and Jack Campin and Fernandes, {Alvaro A A} and Williams, {M Howard} and Sellis, {Timos K}",

year = "1995",

language = "English",

isbn = "3-540-60365-4",

volume = "985",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "21--37",

editor = "Sellis, {Timos K}",

booktitle = "Rules in Database Systems",

address = "United States",

note = "Rules in Database Systems, Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25 - 27, 1995, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/rules/rules95.html#PatonCFW95http://dblp.uni-trier.de/rec/bibtex/conf/rules/PatonCFW95.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/rules/PatonCFW95",

}

Paton, NW, Campin, J, Fernandes, AAA, Williams, MH & Sellis, TK (ed.) 1995, Formal Specification of Active Database Functionality: A Survey. in TK Sellis (ed.), Rules in Database Systems. vol. 985, Lecture Notes in Computer Science, Springer Nature, pp. 21-37, Rules in Database Systems, Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25 - 27, 1995, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/rules/rules95.html#PatonCFW95>

TY - GEN

T1 - Formal Specification of Active Database Functionality: A Survey

AU - Paton, Norman W

AU - Campin, Jack

AU - Fernandes, Alvaro A A

AU - Williams, M Howard

A2 - Sellis, Timos K

PY - 1995

Y1 - 1995

M3 - Conference contribution

SN - 3-540-60365-4

VL - 985

T3 - Lecture Notes in Computer Science

SP - 21

EP - 37

BT - Rules in Database Systems

PB - Springer Nature

T2 - Rules in Database Systems, Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25 - 27, 1995, Proceedings

Y2 - 1 January 1824

ER -