<--- Back to Details
First PageDocument Content
Notation / Software engineering / Formal languages / Character encoding / String / SQL / TM-XML / Boolean data type / Computing / Data types / Primitive types
Date: 2013-03-08 10:42:56
Notation
Software engineering
Formal languages
Character encoding
String
SQL
TM-XML
Boolean data type
Computing
Data types
Primitive types

Rational Rose - TM-XML-V1-3.mdl

Add to Reading List

Source URL: www.tm-xml.org

Download Document from Source Website

File Size: 73,29 KB

Share Document on Facebook

Similar Documents

Data management / Relational database management systems / Computing / Information retrieval / SUSE Linux / SUSE / SQL Server / Adaptive Server Enterprise / SQL Server Express / SQL Server Compact

RUN SQL SERVER 2017 ON S U S E L I N U X E N T E R P RI S E S E R V E R Achieve industry-leading performance on the platform you trust Microsoft SQL Server 2017

DocID: 1xVxr - View Document

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases Yupeng Zhang∗ , Daniel Genkin†,∗ , Jonathan Katz∗ , Dimitrios Papadopoulos‡,∗ and Charalampos Papamanthou∗ ∗ University † Univers

DocID: 1xVtB - View Document

Data management / Information retrieval / Computing / SQL keywords / SQL / Query languages / Database management systems / Database theory / Select / Null / Update / Join

Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang Yuyin Sun

DocID: 1xVm6 - View Document

Select

Synthesizing Highly Expressive SQL Queries From Input-Output Examples http://scythe.cs.washington.edu Chenglong Wang, Alvin Cheung, Ras Bodík University of Washington

DocID: 1xUu7 - View Document

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

DocID: 1xUqU - View Document