skip to content
Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985 Preview this item
ClosePreview this item
Checking...

Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985

Author: A Sernadas; Janis Bubenko; A Olivé; IFIP WG 8.1.
Publisher: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Kongress
Congresses
Additional Physical Format: Online version:
IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems (1985 : Sitges, Spain).
Information systems.
Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985
(OCoLC)568397706
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: A Sernadas; Janis Bubenko; A Olivé; IFIP WG 8.1.
ISBN: 0444877061 9780444877062
OCLC Number: 11599261
Description: x, 236 pages : illustrations ; 24 cm
Contents: Systems and Languages. The New Database Architecture Framework - A Progress Report (L. Mark and N. Roussopoulos). An Entity-Relationship Query Language (B. Demo, A. DiLeva and P. Giolito). ADE: Mapping between the External and Conceptual Levels (T.L. Anderson and B.B. Claghorn). Modeling Approaches I. Clocks and their Use for Time Modeling (G. Richter). Time and Space in Information Systems (U. Schiel). Modeling Approaches II. Connections among Application Based Objects in Directed Edge-Labelled Hypergraphs (M. Morgenstern). A Graphtheoretic Semantics for Semantic Data Models (U. Pletat). An Approach to Conceptual Schema Design of Information Systems (A. Horndasch, R. Studer and R. Yasdi). A Framework for Representation (C.-G. Jansson). Logical Frameworks. Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic (U.W. Lipeck, H.-D. Ehrich and M. Gogolla). The INFOLOG Branching Logic of Events (J. Carmo). Towards Simpler and Yet Complete Formal Specifications (P.A.S. Veloso and A.L. Furtado). A Tableaux Approach for Consistency Checking (C. Kung). Modeling Approaches III. Specification of Control Aspects in Office Information Systems (G. Bracchi and B. Pernici). The PAMS Approach to Modeling Database Activity (R.S. Flint and N.G. Leveson).
Responsibility: edited by A. Sernadas, J. Bubenko, Jr., and A. Olivé.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/11599261> # Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "11599261" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/180566637#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/180566637#Place/amsterdam> ; # Amsterdam
   schema:about <http://experiment.worldcat.org/entity/work/data/180566637#Thing/machine_readable_files> ; # Machine-readable files
   schema:about <http://experiment.worldcat.org/entity/work/data/180566637#Topic/electronic_data_processing> ; # Electronic data processing
   schema:about <http://dewey.info/class/001.64/e19/> ;
   schema:about <http://id.worldcat.org/fast/906956> ; # Electronic data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/180566637#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/180566637#Topic/database_management> ; # Database management
   schema:about <http://experiment.worldcat.org/entity/work/data/180566637#Topic/informationssystem> ; # Informationssystem
   schema:about <http://id.worldcat.org/fast/888037> ; # Database management
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/167703416> ; # IFIP WG 8.1.
   schema:contributor <http://viaf.org/viaf/263199220> ; # A. Sernadas
   schema:contributor <http://viaf.org/viaf/109146939> ; # Janis Bubenko
   schema:contributor <http://viaf.org/viaf/46906878> ; # A. Olivé
   schema:creator <http://experiment.worldcat.org/entity/work/data/180566637#Meeting/ifip_wg_8_1_working_conference_on_theoretical_and_formal_aspects_of_information_systems_1985_sitges_spain> ; # IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems (1985 : Sitges, Spain)
   schema:datePublished "1985" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/180566637> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/568397706> ;
   schema:name "Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985"@en ;
   schema:productID "11599261" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/11599261#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1985> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/180566637#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:publisher <http://experiment.worldcat.org/entity/work/data/180566637#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444877062> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8807067> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/11599261> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/180566637#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
    a bgn:Agent ;
   schema:name "Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/180566637#Meeting/ifip_wg_8_1_working_conference_on_theoretical_and_formal_aspects_of_information_systems_1985_sitges_spain> # IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems (1985 : Sitges, Spain)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/180566637#Place/sitges_spain> ; # Sitges, Spain)
   schema:name "IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems (1985 : Sitges, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/180566637#Place/new_york_n_y_u_s_a> # New York, N.Y., U.S.A.
    a schema:Place ;
   schema:name "New York, N.Y., U.S.A." ;
    .

<http://experiment.worldcat.org/entity/work/data/180566637#Thing/machine_readable_files> # Machine-readable files
    a schema:Thing ;
   schema:name "Machine-readable files" ;
    .

<http://id.worldcat.org/fast/888037> # Database management
    a schema:Intangible ;
   schema:name "Database management"@en ;
    .

<http://id.worldcat.org/fast/906956> # Electronic data processing
    a schema:Intangible ;
   schema:name "Electronic data processing"@en ;
    .

<http://viaf.org/viaf/109146939> # Janis Bubenko
    a schema:Person ;
   schema:birthDate "1935" ;
   schema:familyName "Bubenko" ;
   schema:givenName "Janis" ;
   schema:name "Janis Bubenko" ;
    .

<http://viaf.org/viaf/167703416> # IFIP WG 8.1.
    a schema:Organization ;
   schema:name "IFIP WG 8.1." ;
    .

<http://viaf.org/viaf/263199220> # A. Sernadas
    a schema:Person ;
   schema:birthDate "1952" ;
   schema:familyName "Sernadas" ;
   schema:givenName "A." ;
   schema:name "A. Sernadas" ;
    .

<http://viaf.org/viaf/46906878> # A. Olivé
    a schema:Person ;
   schema:birthDate "1946" ;
   schema:familyName "Olivé" ;
   schema:givenName "A." ;
   schema:name "A. Olivé" ;
    .

<http://worldcat.org/isbn/9780444877062>
    a schema:ProductModel ;
   schema:isbn "0444877061" ;
   schema:isbn "9780444877062" ;
    .

<http://www.worldcat.org/oclc/568397706>
    a schema:CreativeWork ;
   rdfs:label "Information systems." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/11599261> ; # Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985
    .

<http://www.worldcat.org/title/-/oclc/11599261>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/11599261> ; # Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985
   schema:dateModified "2018-11-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/11599261#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1985>
    a schema:PublicationEvent ;
   schema:location <http://experiment.worldcat.org/entity/work/data/180566637#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
   schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:location <http://experiment.worldcat.org/entity/work/data/180566637#Place/amsterdam> ; # Amsterdam
   schema:organizer <http://experiment.worldcat.org/entity/work/data/180566637#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:organizer <http://experiment.worldcat.org/entity/work/data/180566637#Agent/north_holland> ; # North-Holland
   schema:startDate "1985" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.