Examples of ra.Term

ra.Term
@author Jacek Sroka

            throw new RuntimeException("Cannot create file: " + args[1], ex);
        }


        AlgebraToSpreadsheet ats = new AlgebraToSpreadsheet();
        Utils.reset();
        Term t = ats.readAlgebra(args[0]);
        Result r = t.execute();
        ats.writeExcel(fos, r);
    }

View Full Code Here

     * @throws ParseCancellationException
     * @throws RuntimeException
     */
    public StringAssert translatesLike(Term expected) throws TranslationException, ParseCancellationException, RuntimeException {
        Assertions.assertThat(actual)   .isNotNull();
        Term actualTerm = translationOf(actual);
        String actualString = Terms.indent(actualTerm);
        Assertions.assertThat(expected)
            .overridingErrorMessage("the expectation is missing! Actual is:\n%s", actualString).isNotNull();
        Assertions.assertThat(actualString).isEqualTo(Terms.indent(expected));
        return this;

View Full Code Here

     * @side calls Utils.reset()
     * @throws ParseCancellationException
     * @throws RuntimeException
     */
    private StringAssert producesError(String expected, Class<? extends Exception> expectedClass, boolean exactMessage) throws TranslationException, ParseCancellationException, RuntimeException {
        Term result = catchException(this).translationOf(actual);
        Assertions.assertThat(caughtException()).
            overridingErrorMessage("expecting %s, not result:\n%s", expectedClass.getSimpleName(), result).
            isNotNull();
        Assertions.assertThat(caughtException()).
            isInstanceOf(expectedClass);

View Full Code Here

                System.err.println(String.format("Error: could not open file '%s': %s", file, e.getMessage()));
                continue;
            }


            /* translate the query into relational algebra */
            Term formula;
            try {
                formula = Queries.getRaOf(schema, sqlQuery);
            } catch (TranslationException | ParseCancellationException e1) {
                System.err.println(String.format("Error: %s", file));
                e1.printStackTrace();
                continue;
            }


            /* output a .txt file */
            String txtOutputPath = String.format("%s/%s.txt", file.getParent(), Files.getNameWithoutExtension(file.toString()));
            System.out.println(String.format("Writing %s", txtOutputPath));


            StringBuilder builder = new StringBuilder();
            reportRelationalAlgebraForm(builder, formula, sqlQuery);
            Result result = formula.execute();
            reportSpreadsheetForm(builder, result);


            try {
                Files.write(builder.toString(), new File(txtOutputPath), Charsets.UTF_8);
            } catch (IOException e) {

View Full Code Here

        if (derivedColumnList != null) {
            table = table.renameColumns(derivedColumnList);
        }
        colNamesWr[0] = table;
        String nameInSchemaCaseSensitive = table.nameInSchema();
        Term formula;
        if (instantiatedTables.contains(nameInSchemaIc)) {
            formula = Relation.refTableFormula(nameInSchemaCaseSensitive);
        } else {
            formula = Relation.relTableFormula(nameInSchemaCaseSensitive, table.size());
            instantiatedTables.add(nameInSchemaIc);

View Full Code Here

            "CREATE TABLE r4(ra INT, rb INT, rc INT, rd INT);"
    );


    public static void main( String[] args ) throws TranslationException, ParseCancellationException, RuntimeException
    {
        Term translated =
                Queries.getRaOf(SCHEMA, SQL_QUERY);


        System.out.format("*** SQL query:\n\t%s\n", SQL_QUERY);
        System.out.format("*** Translated to relational algebra:\n\t%s\n", translated);
        System.out.format("\n*** Indented:\n%s\n", indentString(Terms.indent(translated)));


        Result r = translated.execute();
        System.out.format("Implemented in excel:\n");
        System.out.format("*** Result relations:\n\t%s\n", r.getResultRelation().toString(Utils.getCaf()));
        System.out.format("*** Formulas:\n%s\n", indentString(r.getFormulas().toString(Utils.getCaf())));
        System.out.format("*** Labels:\n%s\n", indentString(r.getLabels().toString(Utils.getCaf())));
    }

View Full Code Here

        public String toString() {
            return "RIGHT JOIN";
        }


        private Term leftJoin(String innerName, String outerName, Term left, String leftRef, Term right, int rightArity, String joinCondition, int... projectOnLeft) {
            Term ret =
                union(
                    genJoin(
                            innerName,
                            left,
                            right,
                            joinCondition
                    ),
                    Terms.addTrailingNullColumns(
                            diffSet(
                                ref(leftRef),
                                project(
                                        ref(innerName),
                                        projectOnLeft
                                )
                            ),
                            projectOnLeft.length,
                            rightArity
                    )
                );
            if (outerName != null) { ret.setAlias(outerName); }
            return ret;
        }

View Full Code Here

            if (outerName != null) { ret.setAlias(outerName); }
            return ret;
        }


        private Term rightJoin(String innerName, String outerName, Term left, int leftArity, Term right, String rightRef, String joinCondition, int... projectOnRight) {
            Term ret=
                union(
                    genJoin(
                            innerName,
                            left,
                            right,
                            joinCondition
                    ),
                    Terms.addLeadingNullColumns(
                            diffSet(
                                ref(rightRef),
                                project(
                                        ref(innerName),
                                        projectOnRight
                                )
                            ),
                            projectOnRight.length,
                            leftArity
                    )
                );
            if (outerName != null) { ret.setAlias(outerName); }
            return ret;
        }

View Full Code Here

            is = new FileInputStream(path);
        } catch (FileNotFoundException ex) {
            throw new RuntimeException("File not found: " + path);
        }
        Object o = xstream.fromXML(is);
        Term t = null;
        try {
            t = (Term) o;
        } catch (ClassCastException ex) {
            throw new RuntimeException("The serialized file did not include an algebra term");
        }

View Full Code Here

            System.setOut(new PrintStream("examples/output.txt"));
        } catch (FileNotFoundException ex) {
            Logger.getLogger(AlgebraToSpreadsheet.class.getName()).log(Level.SEVERE, null, ex);
        }


        Term t;
        Result r;
        AlgebraToSpreadsheet ats = new AlgebraToSpreadsheet();


        //GroupBy
        Utils.reset();
        t = groupBy(rel(1), 1);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_groupBy1.xml", t);
        ats.writeExcel("examples/excel_groupBy1.xlsx", r);
        t = ats.readAlgebra("examples/test_groupBy1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = groupBy(rel(2), 1, 2).countDistinct(1);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_groupBy2.xml", t);
        ats.writeExcel("examples/excel_groupBy2.xlsx", r);
        t = ats.readAlgebra("examples/test_groupBy2.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //no columns to group over
        Utils.reset();
        t = groupBy(rel(2)).countDistinct(1);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_groupBy2_no_columns_to_group_over.xml", t);
        ats.writeExcel("examples/excel_groupBy2_no_columns_to_group_over.xlsx", r);
        t = ats.readAlgebra("examples/test_groupBy2_no_columns_to_group_over.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = groupBy(rel(10), 1, 2);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_groupBy3.xml", t);
        ats.writeExcel("examples/excel_groupBy3.xlsx", r);
        t = ats.readAlgebra("examples/test_groupBy3.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = groupBy(rel(10), 1, 2).min(3).max(4).sum(5).count(6, 7).avg(8).countDistinct(9, 10);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_groupBy4.xml", t);
        ats.writeExcel("examples/excel_groupBy4.xlsx", r);
        t = ats.readAlgebra("examples/test_groupBy4.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //no columns to group over
        Utils.reset();
        t = groupBy(rel(10)).min(3).max(4).sum(5).count(6, 7).avg(8).countDistinct(9, 10);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_groupBy4_no_columns_to_group_over.xml", t);
        ats.writeExcel("examples/excel_groupBy4_no_columns_to_group_over.xlsx", r);
        t = ats.readAlgebra("examples/test_groupBy4_no_columns_to_group_over.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //CartProd
        Utils.reset();
        t = cartProd(rel(1), rel(1));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_cartProd1.xml", t);
        ats.writeExcel("examples/excel_cartProd1.xlsx", r);
        t = ats.readAlgebra("examples/test_cartProd1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = cartProd(rel(2), rel(2));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_cartProd2.xml", t);
        ats.writeExcel("examples/excel_cartProd2.xlsx", r);
        t = ats.readAlgebra("examples/test_cartProd2.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = cartProd(rel(3), rel(3));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_cartProd1.xml", t);
        ats.writeExcel("examples/excel_cartProd1.xlsx", r);
        t = ats.readAlgebra("examples/test_cartProd1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //Difference
        Utils.reset();
        t = diffBag(rel(1), rel(1));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_difference_bag1.xml", t);
        ats.writeExcel("examples/excel_difference_bag1.xlsx", r);
        t = ats.readAlgebra("examples/test_difference_bag1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = diffBag(rel(2), rel(2));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_difference_bag2.xml", t);
        ats.writeExcel("examples/excel_difference_bag2.xlsx", r);
        t = ats.readAlgebra("examples/test_difference_bag2.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = diffSet(rel(1), rel(1));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_difference_set1.xml", t);
        ats.writeExcel("examples/excel_difference_set1.xlsx", r);
        t = ats.readAlgebra("examples/test_difference_set1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = diffSet(rel(2), rel(2));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_difference_set2.xml", t);
        ats.writeExcel("examples/excel_difference_set2.xlsx", r);
        t = ats.readAlgebra("examples/test_difference_set2.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //Duplicate removal
        Utils.reset();
        t = dupRem(rel(1));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_duprem1.xml", t);
        ats.writeExcel("examples/excel_duprem1.xlsx", r);
        t = ats.readAlgebra("examples/test_duprem1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = dupRem(rel(3));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_duprem2.xml", t);
        ats.writeExcel("examples/excel_duprem2.xlsx", r);
        t = ats.readAlgebra("examples/test_duprem2.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");




        //Equality Join
        Utils.reset();
        t = eqJoin(rel(1), rel(1), 1, 1);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_eqjoin1.xml", t);
        ats.writeExcel("examples/excel_eqjoin1.xlsx", r);
        t = ats.readAlgebra("examples/test_eqjoin1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = eqJoin(rel(2), rel(2), 1, 1);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_eqjoin2.xml", t);
        ats.writeExcel("examples/excel_eqjoin2.xlsx", r);
        t = ats.readAlgebra("examples/test_eqjoin2.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = eqJoin(rel(4), rel(4), 2, 3);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_eqjoin3.xml", t);
        ats.writeExcel("examples/excel_eqjoin3.xlsx", r);
        t = ats.readAlgebra("examples/test_eqjoin3.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //Filter
        Utils.reset();
        t = filter(rel(1), "TRUE()");
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_filter1.xml", t);
        ats.writeExcel("examples/excel_filter1.xlsx", r);
        t = ats.readAlgebra("examples/test_filter1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = filter(rel(1), "1=1");
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_filter2.xml", t);
        ats.writeExcel("examples/excel_filter2.xlsx", r);
        t = ats.readAlgebra("examples/test_filter2.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = filter(rel(1), "#1=\"X\"");
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_filter3.xml", t);
        ats.writeExcel("examples/excel_filter3.xlsx", r);
        t = ats.readAlgebra("examples/test_filter3.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = filter(rel(3), "#2=2");
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_filter4.xml", t);
        ats.writeExcel("examples/excel_filter4.xlsx", r);
        t = ats.readAlgebra("examples/test_filter4.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //General Join
        Utils.reset();
        t = genJoin(rel(1), rel(1), "TRUE()");
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_genJoin1.xml", t);
        ats.writeExcel("examples/excel_genJoin1.xlsx", r);
        t = ats.readAlgebra("examples/test_genJoin1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = genJoin(rel(2), rel(2), "#2<#4");
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_genJoin2.xml", t);
        ats.writeExcel("examples/excel_genJoin2.xlsx", r);
        t = ats.readAlgebra("examples/test_genJoin2.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //Projection
        Utils.reset();
        t = project(rel(1), 1);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_projection1.xml", t);
        ats.writeExcel("examples/excel_projection1.xlsx", r);
        t = ats.readAlgebra("examples/test_projection1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = project(rel(5), 2, 3, 5);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_projection2.xml", t);
        ats.writeExcel("examples/excel_projection2.xlsx", r);
        t = ats.readAlgebra("examples/test_projection2.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //SemiJoin
        Utils.reset();
        t = semiJoin(rel(1), rel(1), 1, 1);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_semijoin1.xml", t);
        ats.writeExcel("examples/excel_semijoin1.xlsx", r);
        t = ats.readAlgebra("examples/test_semijoin1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = semiJoin(rel(2), rel(2), 1, 2);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_semijoin2.xml", t);
        ats.writeExcel("examples/excel_semijoin2.xlsx", r);
        t = ats.readAlgebra("examples/test_semijoin2.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //Sort
        Utils.reset();
        t = sortAsc(rel(3), 1);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_sortAsc1.xml", t);
        ats.writeExcel("examples/excel_sortAsc1.xlsx", r);
        t = ats.readAlgebra("examples/test_sortAsc1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        Utils.reset();
        t = sortDesc(rel(3), 1);
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_sortDesc1.xml", t);
        ats.writeExcel("examples/excel_sortDesc1.xlsx", r);
        t = ats.readAlgebra("examples/test_sortDesc1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //Standarization
        Utils.reset();
        t = stand(rel(3));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_standarization1.xml", t);
        ats.writeExcel("examples/excel_standarization1.xlsx", r);
        t = ats.readAlgebra("examples/test_standarization1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //Union
        Utils.reset();
        t = union(rel(2), rel(2));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_union1.xml", t);
        ats.writeExcel("examples/excel_union1.xlsx", r);
        t = ats.readAlgebra("examples/test_union1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //Reference
        Utils.reset();
        t = union(rel("tab", 1), ref("tab"));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_reference1.xml", t);
        ats.writeExcel("examples/excel_reference1.xlsx", r);
        t = ats.readAlgebra("examples/test_reference1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //Example:
        //select x.a, y.b from tab x, tab y where x.b=y.a minus select a, b from tab;
        //tab(a,b,dl)
        Utils.reset();
        t = diffSet(project(eqJoin(rel("tab", 3), ref("tab"), 2, 1), 2, 4), project(ref("tab"), 1, 2));
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_example1.xml", t);
        ats.writeExcel("examples/excel_example1.xlsx", r);
        t = ats.readAlgebra("examples/test_example1.xml");
        System.out.println(t);
        System.out.println("----------------------------------------------------");


        //select x.a, y.b from tab x, tab y where x.b=y.a and x.dl+y.dl > (select min(dl) from tab z where z.a = x.a and z.b = y.b)
        //tab(a,b,dl)
        //po eqjoin: x.b, x.a, x.dl, y.c, y.dl
        //po gen join: x.b, x.a, x.dl, y.b, y.dl, z.a, z.b, z.dl {x.a=z.a i y.b=z.b}
        //select: x.a, y.b, x.dl+y.dl, z.dl
        //groupby: x.a, y.b, z.dl, min(x.dl+y.dl)
        //filter: x.a, y.b, z.dl, min(x.dl+y.dl) {z.dl > min(x.dl+y.dl)}
        Utils.reset();
        t = filter(groupBy(select(genJoin(eqJoin(rel("tab", 3), ref("tab"), 2, 1), ref("tab"), "And(#2=#6,#4=#7)"), "#2", "#4", "#3+#5", "#8"), 1, 2, 4).min(3), "#3>#4");
        System.out.println(t);
        r = t.execute();
        System.out.println(r.getResultRelation());
        System.out.println(r.getFormulas());
        ats.storeAlgebra("examples/test_example2.xml", t);
        ats.writeExcel("examples/excel_example2.xlsx", r);
        t = ats.readAlgebra("examples/test_example2.xml");

View Full Code Here

0 1

TOP

Related Classes of ra.Term

adipe.translate.example.dir.App

adipe.translate.example.simple.App

adipe.translate.example.wizard.App

adipe.translate.impl.JoinTest$RightOuterJoin

adipe.translate.impl.StringAssert

adipe.translate.impl.WhereExistsTest

adipe.translate.ra.Relation

adipe.translate.ra.Relation$OuterJoinMethod

adipe.translate.ra.Schema

core.example.AlgebraToSpreadsheet

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.