Z-style notation for Probabilities

M.M. Fokkinga

Z-style notation for Probabilities

M.M. Fokkinga

Databases (Former)

Research output: Contribution to conference › Paper › peer-review

302 Downloads (Pure)

Abstract

A notation for probabilities is proposed that differs from the traditional, conventional notation by making explicit the domains and bound variables involved. The notation borrows from the Z notation, and lends itself well to calculational manipulations, with a smooth transition back and forth to set and predicate notation.

Original language	Undefined
Pages	19-24
Number of pages	6
Publication status	Published - 6 Jun 2006
Event	Second Twente Data Management Workshop, TDM: Uncertainty in Databases - Enschede Duration: 6 Jun 2006 → 6 Jun 2006

Workshop

Workshop	Second Twente Data Management Workshop, TDM: Uncertainty in Databases
Period	6/06/06 → 6/06/06
Other	June 6, 2006

Keywords

IR-65486
EWI-15344

Access to Document

http://www.ctit.utwente.nl/library/proceedings/tdm06.pdf

Cite this

@conference{68590cfa2ef049c485ca61d89e89a57b,

title = "Z-style notation for Probabilities",

abstract = "A notation for probabilities is proposed that differs from the traditional, conventional notation by making explicit the domains and bound variables involved. The notation borrows from the Z notation, and lends itself well to calculational manipulations, with a smooth transition back and forth to set and predicate notation.",

keywords = "IR-65486, EWI-15344",

author = "M.M. Fokkinga",

year = "2006",

month = jun,

day = "6",

language = "Undefined",

pages = "19--24",

note = "Second Twente Data Management Workshop, TDM: Uncertainty in Databases ; Conference date: 06-06-2006 Through 06-06-2006",

}

TY - CONF

T1 - Z-style notation for Probabilities

AU - Fokkinga, M.M.

PY - 2006/6/6

Y1 - 2006/6/6

N2 - A notation for probabilities is proposed that differs from the traditional, conventional notation by making explicit the domains and bound variables involved. The notation borrows from the Z notation, and lends itself well to calculational manipulations, with a smooth transition back and forth to set and predicate notation.

AB - A notation for probabilities is proposed that differs from the traditional, conventional notation by making explicit the domains and bound variables involved. The notation borrows from the Z notation, and lends itself well to calculational manipulations, with a smooth transition back and forth to set and predicate notation.

KW - IR-65486

KW - EWI-15344

M3 - Paper

SP - 19

EP - 24

T2 - Second Twente Data Management Workshop, TDM: Uncertainty in Databases

Y2 - 6 June 2006 through 6 June 2006

ER -