aller au contenu
Logic, algebra, and databases Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

Logic, algebra, and databases

Auteur : Peter M D Gray
Éditeur : Chichester, West Sussex, England : E. Horwood ; New York : Distributor, Halsted Press, 1984.
Collection : Computers and their applications, 29.
Édition/format :   Print book : AnglaisVoir toutes les éditions et tous les formats
Base de données :WorldCat
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Format – détails additionnels : 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
Format : Livre
Tous les auteurs / collaborateurs : Peter M D Gray
ISBN : 0470201037 9780470201039 0853128030 9780853128038 9780853127093 0853127093 0135394120 9780135394120 0470202599 9780470202593
Numéro OCLC : 10912465
Description : 294 pages : illustrations ; 25 cm.
Contenu : 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.
Titre de collection : Computers and their applications, 29.
Responsabilité : Peter M.D. Gray.

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Tags

Tous les tags des utilisateurs (2)

Voir les tags les plus utilisés sous forme de : liste de tags | nuage de tags

  • ai  (de 1 personne)
  • jds  (de 1 personne)
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.