Essa è un esempio di funzione ricorsiva che non è primitiva ricorsiva poiché cresce più velocemente di qualsiasi funzione ricorsiva primitiva.

Qui il codice java che implementa questa funzione:

Ackermann.java

0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

public class Ackermann {
 
 static long count = 0;
 
 private static long h(long m, long n) {
  
  count++;
  
  if (m == 0) {
   return n + 1;
  }
  if (n == 0) {
   return h(m-1, 1);
  }
  
  return h(m-1, h(m,n-1) );
 }
 
 private static long ack(long n) {
  return h(n, n);
 }
 
 public static void main(String[] args) {
  
  if (args.length != 1) {
   System.out.println("usage: Ackermann <number>\n\twhere number is a positive integer");
   System.exit(1);
  }
  
  long n = Long.valueOf(args[0]);
  
  count = 0;
  long retValue = ack(n);  
  System.out.println("ack(" + n + ") = " + retValue + " [recursive calls = "+ count +"]");
 
  
  System.exit(0);
 }
 
}

Il meccanismo di calcolo della funzione è estremamente semplice quanto pesante dal punto di vista computazionale. Questi sono i risultati ottenuti:

• ack(0) = 1  [recursive calls = 1]
• ack(1) = 3  [recursive calls = 4]
• ack(2) = 7  [recursive calls = 27]
• ack(3) = 61 [recursive calls = 2432]

Non riesco a calcolare ack(4) causa stack overflow (Exception in thread “main” java.lang.StackOverflowError).

Il w3c ha definito il linguaggio XQuery 1.0; usa la sintassi delle espressioni di XPath  2.0, con l’aggiunta delle cosiddette espressioni FLWOR per la formulazione di query complesse. Il risultato è un linguaggio di programmazione funzionale, dichiarativo, con somiglianze con il vecchio SQL.

Per effettuare delle query xquery su un file XML possiamo usare delle librerie come BaseX e Saxon. Purtroppo attualmente Saxon non è un prodotto del tutto gratuito, quindi scegliamo di usare BaseX, un processore Xquery-XPath open source.

In realtà BaseX, oltre ad essere utlilizzabile come libreria all’interno del linguaggio Java, ci mette a disposizione un’interfaccia grafica dalla quale possiamo effettuare query su file XML ben formati arbitrari.

Primo esempio di query

La prima cosa da fare è inserire i file jar di BaseX nel build path del nostro progetto; la seconda è assicurarsi di avere java 1.6 (non funziona con java 1.5) perché BaseX utilizza il package javax.xml.stream.

Questo è un sempio dove si esegue la query //li sul file ‘input‘:

0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

import javax.xml.xquery.XQConnection;
import javax.xml.xquery.XQDataSource;
import javax.xml.xquery.XQPreparedExpression;
import javax.xml.xquery.XQResultSequence;
 
public final class XQueryAPIExample {
 /** Database Driver. */
 static final String DRIVER = "org.basex.api.xqj.BXQDataSource";
 
 public static void main(final String[] args) throws Exception {
 
 // Gets the XQDataSource for the specified Driver.
 XQDataSource source = (XQDataSource) Class.forName(DRIVER).newInstance();
 
 // Creates an XQConnection
 XQConnection conn = source.getConnection();
 
 // Prepares the Expressionwith the Document and the Query.
 XQPreparedExpression expr = conn.prepareExpression("doc('input')//li");
 
 // Executes the XQuery query.
 XQResultSequence result = expr.executeQuery();
 
 // Gets all results of the execution.
 while(result.next()) {
 // Prints the results to the console.
 System.out.println(result.getItemAsString(null));
 }
 
 }
}

Questo esempio funziona solo se il file XML interrogato non dichiara nessun namespace.

Query in presenza di namespace

Supponiamo adesso di interrogare un file XML con namespace… ad esempio un file in formato XML Mpeg-7 che usa i seguenti namespace:
xmlns=”urn:mpeg:mpeg7:schema:2001″
xmlns:mpeg7=”urn:mpeg:mpeg7:schema:2001″
xmlns:xsi=”http://www.w3.org/2001/XMLSchema-instance”

Per far riconoscere i namespace dobbiamo dichiararli nel prologo della xquery in questo modo:
declare default element namespace “urn:mpeg:mpeg7:schema:2001″
declare  namespace mpeg7 = “urn:mpeg:mpeg7:schema:2001″
declare  namespace xsi = “http://www.w3.org/2001/XMLSchema-instance”

Questo è il codice che esegue la query sul file file/video/extract.xml:

0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

String prologoQuery = "" +
 "declare default element namespace \"urn:mpeg:mpeg7:schema:2001\"; " +
 "declare  namespace mpeg7 = \"urn:mpeg:mpeg7:schema:2001\"; " +
 "declare  namespace xsi = \"http://www.w3.org/2001/XMLSchema-instance\"; ";
 
 // Gets the XQDataSource for the specified Driver.
 XQDataSource source = (XQDataSource) Class.forName(DRIVER).newInstance();
 // Creates an XQConnection
 XQConnection conn = source.getConnection();
 // Prepares the Expressionwith the Document and the Query.
 //XQPreparedExpression expr = conn.prepareExpression("<xml>1 + 2 = { 1+2 }</xml>/text()");
 //XQPreparedExpression expr = conn.prepareExpression("doc('file/video/20090201_video_15213221.xml')//meta");
 XQPreparedExpression expr = conn.prepareExpression(prologoQuery + " doc('file/video/extract.xml')//Name");
 
 // Executes the XQuery query.
 XQResultSequence result = expr.executeQuery();
 // Gets all results of the execution.
 while(result.next()) {
 //element = (org.w3c.dom.Element) result.getObject();
 System.out.println(result.getItemAsString(null));
 }

Nella riga 18 è commentato un altro modo per usare gli oggetti restiuiti dalla query, che ci restituisce il risultato come elementi della struttura DOM del file XML.

“Exception in thread “main” java.lang.NoClassDefFoundError: javax/xml/stream/XMLStreamReader”

uso Mac Os X 10.4 aggiornato all’ultima versione di Java supportata da Apple… perché ho questo errore? Quando si ha:
Exception in thread “main” java.lang.NoClassDefFoundError: NomeFile
Probabilmente il file NomeFile.class non viene “visto” da Java. Bisogna verificare se nella directory è contenuto il file NomeFile.class, ma nel mio caso è una classe della JVM (javax.xml.stream.XMLStreamReader)!!!

Il problema è che java 1.5 non ha il package javax.xml.stream.*, ed ho bisogno di fare l’aggiornamento a java 1.6. Per chi ha Mac Os X 10.5 l’aggiornamento di java è molto semplice

per via delle politiche di Apple per la distribuzione delle JVM.

Java 1.6 su Mac OS X 10.5

Per prima cosa verifichiamo la nostra versione di java dal Terminale

saverio$ java -version
java version "1.5.0_13"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0_13-b05-237)
Java HotSpot(TM) Client VM (build 1.5.0_13-119, mixed mode, sharing)

se abbiamo la versione 1.5.x, allora aggiorniamo il sistema all’ultima versione cliccando sulla mela e poi ‘Aggiornamento software…’, e seguiamo la procedura guidata.

Una volta aggiornato il sistema abbiamo java 1.6 installato nella cartella /System/Library/Frameworks/JavaVM.framework/Versions/1.6/ , ma non è abilitato di default; infatti quando il sistema chiama java fa riferimento al file /usr/bin/java che è un link simbolico alla versione 1.5 di java:

saverio$ ls -la /usr/bin/java
lrwxr-xr-x 1 root wheel 74 Apr 30 08:41 /usr/bin/java -> /System/Library/Frameworks/JavaVM.framework/Versions/Current/Commands/java

Per abilitare java 1.6 cancelliamo (o rinominiamo) il link simbolico con:
sudo rm /usr/bin/java
e ne creiamo uno nuovo che punta alla nuova versione di java:
sudo ln -s /System/Library/Frameworks/JavaVM.framework/Versions/1.6/Commands/java /usr/bin/java

Questa procedura funziona solo con sistemi a 64bit. Per quelli a 32bit bisogna seguire la seguente procedura per Mac OS X 10.4

Java 1.6 su Mac OS X 10.4

Installare invece Java 1.6 su Mac OS X 10.4 è leggermente più complicato. Prima di tutto verifichiamo che nel sistema sia installata la versione 1.5

saverio$ java -version
java version "1.5.0_19"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0_19-b02-306)
Java HotSpot(TM) Client VM (build 1.5.0_19-138, mixed mode, sharing)

La versione 1.6 di java per questa piattaforma è un porting di OpenJDK chiamato SoyLatte. Per installarla:

* Scaricare SoyLatte 1.0.2 per Mac OS X 10.4 (oppure 10.5 se stiamo su Mac OS X 10.5 a 32bit) dal sito http://landonf.bikemonkey.org/static/soylatte/. Per scaricarlo si avrà bisogno delle credenziali username: jrl, e password: I am a Licensee in good standing.
* Unzippare il pacchetto in una directory a scelta (si può anche rinominare la directory soylatte16-1.0.2)
* Aggiungere la directory soylatte16-1.0.2/bin al path di sistema $PATH in modo da dargli precedenza rispetto al path della versione 1.5 di java

Per verificare la nuova installazione digitiamo come consueto il comando java -version, e se tutto è stato fatto bene allora la versione sarà 1.6

Java e Mac OS X

Mac OS X è uno splendido sistema operativo, nettamente superiore rispetto ai suoi concorrenti! Purtroppo ho sempre avuto problemi con le versioni di java supportate da Apple. Se siete dei programmatori java appassionati dei sistemi unix-like, vi consiglio di usare Ubuntu Linux per sviluppare le vostre applicazioni.