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

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 :   Livre imprimé : EnglishVoir 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 : Book
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…

Étiquettes

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_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://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 

Dont have an account? You can easily créez un compte gratuit.