zum Inhalt wechseln
Logic, algebra, and databases Titelvorschau
SchließenTitelvorschau
Prüfung…

Logic, algebra, and databases

Verfasser/in: Peter M D Gray
Verlag: Chichester, West Sussex, England : E. Horwood ; New York : Distributor, Halsted Press, 1984.
Serien: Computers and their applications, 29.
Ausgabe/Format   Print book : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Themen
Ähnliche Titel

 

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Physisches Format Online version:
Gray, Peter M.D., 1940-
Logic, algebra, and databases.
Chichester, West Sussex, England : E. Horwood ; New York : Distributor, Halsted Press, 1984
(OCoLC)567943912
Dokumenttyp: Buch
Alle Autoren: Peter M D Gray
ISBN: 0470201037 9780470201039 0853128030 9780853128038 9780853127093 0853127093 0135394120 9780135394120 0470202599 9780470202593
OCLC-Nummer: 10912465
Beschreibung: 294 pages : illustrations ; 25 cm.
Inhalt: The propositional calculus --
The predicate calculus --
Lambada Expressions and list processing --
Representing programs by clauses: prolog --
Representing programs in functional notation --
The relational model --
Calculus-based languages --
Relational algebra: an applicative language --
Query transformation in algebra and calculus --
The functional data model --
The CODASYL DBTG database --
Functional query languages of CODASYL databases --
Appendix I. Relations for the World Cup database --
Appendix II. ASTRID relational algebra syntax --
Appendix III. Bachman diagram and IDS-II schema DDL for the World Cup database --
Appendix IV. Syntax for SQL --
Appendix V. Daplex syntax.
Serientitel: Computers and their applications, 29.
Verfasserangabe: Peter M.D. Gray.

Rezensionen

Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Alle Nutzer-Tags (2)

Anzeige der beliebtesten Schlagwörter als: Schlagwortliste | Tag Cloud

  • ai  (von 1 Person)
  • jds  (von 1 Person)
Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


Primary Entity

<http://www.worldcat.org/oclc/10912465> # Logic, algebra, and databases
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "10912465" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2988293#Place/chichester_west_sussex_england> ; # Chichester, West Sussex, England
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/organisation> ; # Organisation
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/codasyl> ; # CODASYL
    schema:about <http://id.worldcat.org/fast/1078876> ; # Prolog (Computer program language)
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Thing/machine_readable_files> ; # Machine-readable files
    schema:about <http://id.worldcat.org/fast/804885> ; # Algebra
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://dewey.info/class/001.642/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_mathematique> ; # logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/calcul_propositionnel> ; # calcul propositionnel
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/modele_relationnel> ; # modèle relationnel
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/base_donnee> ; # base donnée
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/sgbd> ; # SGBD
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/algebre_relation> ; # algèbre relation
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/langage_base_donnee> ; # langage base donnée
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/programmation_en_logique> ; # programmation en logique
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/langage_interrogation> ; # langage interrogation
    schema:about <http://id.worldcat.org/fast/888037> ; # Database management
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/algebre> ; # Algèbre
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/prolog_langage_de_programmation> ; # Prolog (Langage de programmation)
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/prolog> ; # PROLOG
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/bases_de_donnees_gestion> ; # Bases de données--Gestion
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/calcul_predicat> ; # calcul prédicat
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/datenbanksystem> ; # Datenbanksystem
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/traitement_liste> ; # traitement liste
    schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_symbolique> ; # logique symbolique
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/104657094> ; # Peter M. D. Gray
    schema:datePublished "1984" ;
    schema:description "The propositional calculus -- The predicate calculus -- Lambada Expressions and list processing -- Representing programs by clauses: prolog -- Representing programs in functional notation -- The relational model -- Calculus-based languages -- Relational algebra: an applicative language -- Query transformation in algebra and calculus -- The functional data model -- The CODASYL DBTG database -- Functional query languages of CODASYL databases -- Appendix I. Relations for the World Cup database -- Appendix II. ASTRID relational algebra syntax -- Appendix III. Bachman diagram and IDS-II schema DDL for the World Cup database -- Appendix IV. Syntax for SQL -- Appendix V. Daplex syntax."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2988293> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2988293#Series/computers_and_their_applications> ; # Computers and their applications ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/567943912> ;
    schema:name "Logic, algebra, and databases"@en ;
    schema:productID "10912465" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/10912465#PublicationEvent/chichester_west_sussex_england_e_horwood_new_york_distributor_halsted_press_1984> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2988293#Agent/distributor_halsted_press> ; # Distributor, Halsted Press
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2988293#Agent/e_horwood> ; # E. Horwood
    schema:workExample <http://worldcat.org/isbn/9780470201039> ;
    schema:workExample <http://worldcat.org/isbn/9780135394120> ;
    schema:workExample <http://worldcat.org/isbn/9780470202593> ;
    schema:workExample <http://worldcat.org/isbn/9780853127093> ;
    schema:workExample <http://worldcat.org/isbn/9780853128038> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8423235> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/10912465> ;
    .


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/2988293#Agent/distributor_halsted_press> # Distributor, Halsted Press
    a bgn:Agent ;
    schema:name "Distributor, Halsted Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Place/chichester_west_sussex_england> # Chichester, West Sussex, England
    a schema:Place ;
    schema:name "Chichester, West Sussex, England" ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Series/computers_and_their_applications> # Computers and their applications ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/10912465> ; # Logic, algebra, and databases
    schema:name "Computers and their applications ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/algebre_relation> # algèbre relation
    a schema:Intangible ;
    schema:name "algèbre relation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/bases_de_donnees_gestion> # Bases de données--Gestion
    a schema:Intangible ;
    schema:name "Bases de données--Gestion"@en ;
    schema:name "Bases de données--Gestion"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/calcul_predicat> # calcul prédicat
    a schema:Intangible ;
    schema:name "calcul prédicat"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/calcul_propositionnel> # calcul propositionnel
    a schema:Intangible ;
    schema:name "calcul propositionnel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/langage_base_donnee> # langage base donnée
    a schema:Intangible ;
    schema:name "langage base donnée"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/langage_interrogation> # langage interrogation
    a schema:Intangible ;
    schema:name "langage interrogation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
    schema:name "logique mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_symbolique> # logique symbolique
    a schema:Intangible ;
    schema:name "logique symbolique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/modele_relationnel> # modèle relationnel
    a schema:Intangible ;
    schema:name "modèle relationnel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/programmation_en_logique> # programmation en logique
    a schema:Intangible ;
    schema:name "programmation en logique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
    schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/prolog_langage_de_programmation> # Prolog (Langage de programmation)
    a schema:Intangible ;
    schema:name "Prolog (Langage de programmation)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/traitement_liste> # traitement liste
    a schema:Intangible ;
    schema:name "traitement liste"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1078876> # Prolog (Computer program language)
    a schema:Intangible ;
    schema:name "Prolog (Computer program language)"@en ;
    .

<http://id.worldcat.org/fast/804885> # Algebra
    a schema:Intangible ;
    schema:name "Algebra"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

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

<http://viaf.org/viaf/104657094> # Peter M. D. Gray
    a schema:Person ;
    schema:birthDate "1940" ;
    schema:familyName "Gray" ;
    schema:givenName "Peter M. D." ;
    schema:name "Peter M. D. Gray" ;
    .

<http://worldcat.org/isbn/9780135394120>
    a schema:ProductModel ;
    schema:isbn "0135394120" ;
    schema:isbn "9780135394120" ;
    .

<http://worldcat.org/isbn/9780470201039>
    a schema:ProductModel ;
    schema:isbn "0470201037" ;
    schema:isbn "9780470201039" ;
    .

<http://worldcat.org/isbn/9780470202593>
    a schema:ProductModel ;
    schema:isbn "0470202599" ;
    schema:isbn "9780470202593" ;
    .

<http://worldcat.org/isbn/9780853127093>
    a schema:ProductModel ;
    schema:isbn "0853127093" ;
    schema:isbn "9780853127093" ;
    .

<http://worldcat.org/isbn/9780853128038>
    a schema:ProductModel ;
    schema:isbn "0853128030" ;
    schema:isbn "9780853128038" ;
    .

<http://www.worldcat.org/oclc/567943912>
    a schema:CreativeWork ;
    rdfs:label "Logic, algebra, and databases." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/10912465> ; # Logic, algebra, and databases
    .


Content-negotiable representations

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.